Enable manually triggering coverage workflow.

This commit is contained in:
Martin Hoffmann
2025-06-11 18:07:23 +02:00
parent 6e96db1352
commit 28fa29866d
+3
View File
@@ -6,6 +6,9 @@ on:
types:
- completed
# Allow triggering manually.
workflow_dispatch:
jobs:
coverage:
name: coverage