summaryrefslogtreecommitdiffstats
path: root/.github
diff options
context:
space:
mode:
authorClementTsang <cjhtsang@uwaterloo.ca>2022-04-28 01:18:23 -0400
committerClementTsang <cjhtsang@uwaterloo.ca>2022-04-28 01:18:27 -0400
commit19430a1a49e14b1a43cf560a7789ff49846577ca (patch)
treeb9001314bc45754d8f80f8fd4f1ea28bb2596412 /.github
parenta6933d89b30c1fd5b0d25b38fbe157baafc7ecac (diff)
ci: reduce code cov skip conditions
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/coverage.yml3
1 files changed, 1 insertions, 2 deletions
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index af61af81..00e16d94 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -19,8 +19,7 @@ jobs:
uses: fkirc/skip-duplicate-actions@38c3738dcac87b41e2b7038775457756c793566e # https://github.com/fkirc/skip-duplicate-actions/commit/38c3738dcac87b41e2b7038775457756c793566e
with:
concurrent_skipping: "same_content_newer"
- skip_after_successful_duplicate: "true"
- paths: '["tests/**", "src/**", ".github/workflows/coverage.yml", ".cargo/**", "Cargo.toml", "Cargo.lock", "build.rs"]'
+ skip_after_successful_duplicate: "false"
do_not_skip: '["workflow_dispatch"]'
coverage: