diff options
author | Clement Tsang <34804052+ClementTsang@users.noreply.github.com> | 2022-04-29 18:15:49 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-04-29 18:15:49 -0400 |
commit | e646a7663064d41876c59f8c0cc32cac920ae0fc (patch) | |
tree | 0681e2069265cbee4810371c214cf158903de50d /.github/workflows/coverage.yml | |
parent | a516104dec0fe8b4409e9aaa3ba09f289cc7bea2 (diff) |
ci: disable debug symbols and incremental in CI, force locked #719
Disables incremental compilation and debug symbols in CI and other related workflows, since they're not used there at all. Also forces --locked as needed.
Diffstat (limited to '.github/workflows/coverage.yml')
-rw-r--r-- | .github/workflows/coverage.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index c74f6078..bf94ed74 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -9,6 +9,9 @@ on: branches: - master +env: + CARGO_INCREMENTAL: 0 + jobs: pre_job: runs-on: ubuntu-latest |