Manual running.

diku-dk · Dec 2, 2023 · f162a2b · f162a2b
1 parent 7d929e6
commit f162a2b
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -7,6 +7,9 @@ on:
   push:
     branches: [ master ]
 
+  # Allows you to run this workflow manually from the Actions tab
+  workflow_dispatch:
+
   # Run weekly to detect compiler or dependency regressions.
   schedule:
     - cron: "0 0 * * 0"