Allow manual dispatch for solver workflows

formalsec · Feb 5, 2025 · b2516ef · b2516ef
1 parent bc08995
commit b2516ef
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 0 deletions.
diff --git a/.github/workflows/test-alt-ergo.yml b/.github/workflows/test-alt-ergo.yml
@@ -3,6 +3,7 @@ name: Test Alt-Ergo
 on:
   pull_request:
     types: [ labeled ]
+  workflow_dispatch:
 
 jobs:
   test-alt-ergo:

diff --git a/.github/workflows/test-bitwuzla.yml b/.github/workflows/test-bitwuzla.yml
@@ -3,6 +3,7 @@ name: Test Bitwuzla
 on:
   pull_request:
     types: [ labeled ]
+  workflow_dispatch:
 
 jobs:
   test-bitwuzla:

diff --git a/.github/workflows/test-colibri2.yml b/.github/workflows/test-colibri2.yml
@@ -3,6 +3,7 @@ name: Test Colibri2
 on:
   pull_request:
     types: [ labeled ]
+  workflow_dispatch:
 
 jobs:
   test-colibri2:

diff --git a/.github/workflows/test-cvc5.yml b/.github/workflows/test-cvc5.yml
@@ -3,6 +3,7 @@ name: Test cvc5
 on:
   pull_request:
     types: [ labeled ]
+  workflow_disptach:
 
 jobs:
   test-cvc5: