Skip to content

Commit 2815911

Browse files
committed
Add workflow_dispatch trigger to coverage-check workflow
1 parent 6b1348d commit 2815911

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

.github/workflows/coverage-check.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@ permissions:
55

66
on:
77
pull_request:
8+
workflow_dispatch: # Allow manual triggering
89

910
jobs:
1011
coverage:

0 commit comments

Comments
 (0)