From b2516efa14f875941a10a82e9ca1fa29f9ec333d Mon Sep 17 00:00:00 2001
From: Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
Date: Wed, 5 Feb 2025 15:36:30 +0000
Subject: [PATCH] Allow manual dispatch for solver workflows

---
 .github/workflows/test-alt-ergo.yml | 1 +
 .github/workflows/test-bitwuzla.yml | 1 +
 .github/workflows/test-colibri2.yml | 1 +
 .github/workflows/test-cvc5.yml     | 1 +
 4 files changed, 4 insertions(+)

diff --git a/.github/workflows/test-alt-ergo.yml b/.github/workflows/test-alt-ergo.yml
index ed1c866f..1879dd4b 100644
--- 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
index 316c4b67..63381c44 100644
--- 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
index dff0ed61..8f75172d 100644
--- 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
index 5f1dd881..191a1ce8 100644
--- 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: