diff --git a/.github/workflows/coverage.yaml b/.github/workflows/coverage.yaml index 200c2b72e..86f2ebbee 100644 --- a/.github/workflows/coverage.yaml +++ b/.github/workflows/coverage.yaml @@ -8,6 +8,9 @@ on: push: paths: - '.github/workflows/coverage.yaml' + # Also run manually from the Actions tab + workflow_dispatch: + jobs: coverage: name: Coverage