From 5cf0986b9f79d706cacd8423baefea20458e0aa7 Mon Sep 17 00:00:00 2001 From: Filipe Marques Date: Wed, 23 Oct 2024 22:58:44 +0100 Subject: [PATCH] Workflow dispatch --- .github/workflows/test-alt-ergo.yml | 8 +------- .github/workflows/test-bitwuzla.yml | 8 +------- .github/workflows/test-colibri2.yml | 8 +------- .github/workflows/test-cvc5.yml | 8 +------- 4 files changed, 4 insertions(+), 28 deletions(-) diff --git a/.github/workflows/test-alt-ergo.yml b/.github/workflows/test-alt-ergo.yml index 4632a363..2765b47c 100644 --- 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 index 3efc5e3b..e96ab4e9 100644 --- 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 index d7c1b05d..8763a2cf 100644 --- 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 index 29daeb71..5c36135f 100644 --- 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: