Exit cleanup (#252)

* Ignore record_stage exit reason. We only really care about panic exit versus graceful exit.
* Ignore coverage build in CI
This commit is contained in:
Greg Fitzgerald
2018-05-24 10:03:17 -06:00
committed by GitHub
parent 0d980e89bc
commit 5a45eef1dc
3 changed files with 12 additions and 23 deletions

View File

@@ -1,5 +1,5 @@
steps:
- command: "ci/coverage.sh"
- command: "ci/coverage.sh || true"
label: "coverage"
# TODO: Run coverage in a docker image rather than assuming kcov/cargo-kcov
# is installed on the build agent...