ci: allow running the coverage workflow manually

VirusTotal · Jul 8, 2024 · e0db729 · e0db729
1 parent ac219b1
commit e0db729
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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