allow triggering actions manually

marph91 · Mar 29, 2024 · b29f826 · b29f826
1 parent 8be6407
commit b29f826
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/synthesis.yml b/.github/workflows/synthesis.yml
@@ -1,7 +1,7 @@
 
 name: synthesis
 
-on: [push, pull_request]
+on: [push, pull_request, workflow_dispatch]
 
 jobs:
   synthesis:

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -1,6 +1,6 @@
 name: tests
 
-on: [push, pull_request]
+on: [push, pull_request, workflow_dispatch]
 
 jobs:
   container: