Rename "publish" task to "deploy"

This commit is contained in:
Soeren Wegener 2019-05-05 21:50:02 +02:00
parent 2d7c97723b
commit 1eb8c4d1eb
No known key found for this signature in database
GPG key ID: 1CA5723999CABD50

View file

@ -15,7 +15,7 @@ before_script:
- flake8 manimlib/ --count --exit-zero --max-complexity=10 --max-line-length=127 --statistics - flake8 manimlib/ --count --exit-zero --max-complexity=10 --max-line-length=127 --statistics
script: script:
- true # add other tests here - true # add other tests here
publish: deploy:
provider: pypi provider: pypi
user: swegener user: swegener
on: on: