diff options
author | ClementTsang <cjhtsang@uwaterloo.ca> | 2022-05-01 16:36:43 -0400 |
---|---|---|
committer | ClementTsang <cjhtsang@uwaterloo.ca> | 2022-05-01 16:56:40 -0400 |
commit | 8cc361e443aaebe804df0c2cbe3e2e7d3b22057a (patch) | |
tree | 65a70aa01f33e581cc9136321598e5d10412b125 /.github/workflows/coverage.yml | |
parent | a9da449cefc2e7d3fff7471cb379bb70a22ba49a (diff) |
ci: clean up ci workflow
Diffstat (limited to '.github/workflows/coverage.yml')
-rw-r--r-- | .github/workflows/coverage.yml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index 2a88232f..2df56f08 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -23,7 +23,7 @@ jobs: with: concurrent_skipping: "same_content_newer" skip_after_successful_duplicate: "false" - do_not_skip: '["workflow_dispatch"]' + do_not_skip: '["workflow_dispatch", "push"]' coverage: needs: pre_job @@ -37,7 +37,6 @@ jobs: profile: minimal toolchain: stable override: true - components: rustfmt - uses: Swatinem/rust-cache@cb2cf0cc7c5198d3364b9630e2c3d457f160790c # 1.4.0 with: |