From 28fa29866dc3b213f8c754d3a7dd50f4347acaa3 Mon Sep 17 00:00:00 2001
From: Martin Hoffmann <martin@nlnetlabs.nl>
Date: Wed, 11 Jun 2025 18:07:23 +0200
Subject: [PATCH] Enable manually triggering coverage workflow.

---
 .github/workflows/coverage.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 1e2409b9..33eb76fe 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -6,6 +6,9 @@ on:
     types:
       - completed
 
+  # Allow triggering manually.
+  workflow_dispatch:
+
 jobs:
   coverage:
     name: coverage