Workflow dispatch

formalsec · Oct 23, 2024 · 5cf0986 · 5cf0986
1 parent fe95447
commit 5cf0986
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 28 deletions.
diff --git a/.github/workflows/test-alt-ergo.yml b/.github/workflows/test-alt-ergo.yml
@@ -1,12 +1,6 @@
 name: Test Alt-Ergo
 
-on:
-  push:
-    branches:
-      - main
-  pull_request:
-    branches:
-      - main
+on: workflow-dispatch
 
 jobs:
   test-alt-ergo:

diff --git a/.github/workflows/test-bitwuzla.yml b/.github/workflows/test-bitwuzla.yml
@@ -1,12 +1,6 @@
 name: Test Bitwuzla
 
-on:
-  push:
-    branches:
-      - main
-  pull_request:
-    branches:
-      - main
+on: workflow-dispatch
 
 jobs:
   test-bitwuzla:

diff --git a/.github/workflows/test-colibri2.yml b/.github/workflows/test-colibri2.yml
@@ -1,12 +1,6 @@
 name: Test Colibri2
 
-on:
-  push:
-    branches:
-      - main
-  pull_request:
-    branches:
-      - main
+on: workflow-dispatch
 
 jobs:
   test-colibri2:

diff --git a/.github/workflows/test-cvc5.yml b/.github/workflows/test-cvc5.yml
@@ -1,12 +1,6 @@
 name: Test cvc5
 
-on:
-  push:
-    branches:
-      - main
-  pull_request:
-    branches:
-      - main
+on: workflow-dispatch
 
 jobs:
   test-cvc5: