enable the 'Run workflow' button

gelisam · Feb 9, 2024 · 2663642 · 2663642
1 parent a8391b2
commit 2663642
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -12,6 +12,8 @@ on:
   # Build once a month, to detect missing upper bounds.
   schedule:
     - cron: '0 0 1 * *'
+
+  workflow_dispatch:
 
 jobs:
   stack:

diff --git a/.github/workflows/installation-methods.yml b/.github/workflows/installation-methods.yml
@@ -12,6 +12,8 @@ on:
   #pull_request:
   #  types: [opened, synchronize]
 
+  workflow_dispatch:
+
 jobs:
   # the stack installation method is already covered by the regular CI tests
   installation-methods: