diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index 1e2409b9..33eb76fe 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -6,6 +6,9 @@ on: types: - completed + # Allow triggering manually. + workflow_dispatch: + jobs: coverage: name: coverage