diff options
Diffstat (limited to '.github/workflows/coverage.yml')
| -rw-r--r-- | .github/workflows/coverage.yml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index 632babfa..447464eb 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -4,12 +4,11 @@ name: "Coverage" on: + # As currently structured, this adds too many jobs (checks?), so don't run it + # on pull requests yet. push: branches: - master - # as currently structured, this adds too many jobs (checks?), so don't run it - # on pull requests yet. - #pull_request: workflow_dispatch: defaults: |