fix indent

jplag · Jan 30, 2025 · 336700e · 336700e
1 parent 0afe3e6
commit 336700e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/verify-coverage-report.yml b/.github/workflows/verify-coverage-report.yml
@@ -1,7 +1,8 @@
 name: Check that all dependencies are in coverage report
 
 on:
-    push:
+  workflow_dispatch:
+  push:
     paths:
       - ".github/workflows/verify-coverage-report.yml"
       - "./scripts/checkCoverage.py"