oops. there was another -

This commit is contained in:
Andre Bogus 2017-01-08 17:33:19 +01:00
parent c1f945cef4
commit d2738e345a

View file

@ -44,7 +44,7 @@ script:
after_success:
- |
- if [ $(uname) == Linux ]; then
if [ $(uname) == Linux ]; then
./.github/deploy.sh
# trigger rebuild of the clippy-service, to keep it up to date with clippy itself
#!/bin/bash