[CI-SKIP] Make travis use 'build' instead of 'patch' (#4592)

Closes #4277.
This commit is contained in:
Mariell 2020-09-30 22:19:02 +02:00
parent e3bbc0d3ec
commit cc79d358e8

View file

@ -9,7 +9,7 @@ git:
before_install:
- git config --global user.email "travis-ci@travis-ci.com"
- git config --global user.name "Travis CI"
- ./paper patch
- ./paper build
cache:
directories:
- '$HOME/.m2/repository'