ci: allow to dispatch job manually

guilatrova · Oct 30, 2024 · 09c4587 · 09c4587
1 parent cfd617f
commit 09c4587
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -11,6 +11,8 @@ on:
       - "docs/**"
       - "*.md"
 
+  workflow_dispatch:
+
 jobs:
   test:
     # We want to run on external PRs, but not on our own internal PRs as they'll be run