diff --git a/.github/workflows/synthesis.yml b/.github/workflows/synthesis.yml
index 1ba27cc..c3ca758 100644
--- 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
index e3f7f5a..595da09 100644
--- 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: