Restore shellcheck

This commit is contained in:
Greg Fitzgerald
2018-06-01 13:13:20 -06:00
parent 05d1618659
commit 3aa2907bd6
3 changed files with 4 additions and 5 deletions

View File

@@ -9,7 +9,7 @@ steps:
name: "ignored [public]"
- command: "ci/test-cuda.sh"
name: "cuda"
- command: "ci/shellcheck.sh || true"
- command: "ci/shellcheck.sh"
name: "shellcheck [public]"
- wait
- command: "ci/publish.sh"