From 08f19c2f7c47cf8a0783aac4db6a4bc9f5e67c58 Mon Sep 17 00:00:00 2001
From: Max Lambrecht <maxlambrecht@gmail.com>
Date: Mon, 11 Mar 2024 13:20:49 -0500
Subject: [PATCH] Add workflow_dispach to coverage workflow

Signed-off-by: Max Lambrecht <maxlambrecht@gmail.com>
---
 .github/workflows/coverage.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 9143724..04eacc2 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -3,6 +3,7 @@ name: Coverage
 on:
   push:
     branches: [ main ]
+  workflow_dispatch:
 
 jobs:
   coverage: