Add workflow_dispach to coverage workflow

Signed-off-by: Max Lambrecht <[email protected]>
maxlambrecht · Mar 11, 2024 · 08f19c2 · 08f19c2
1 parent a6836f9
commit 08f19c2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -3,6 +3,7 @@ name: Coverage
 on:
   push:
     branches: [ main ]
+  workflow_dispatch:
 
 jobs:
   coverage: