From 2d1cf7d4d404f2116595a324901ba35dc5d5c444 Mon Sep 17 00:00:00 2001 From: Filipe Marques Date: Thu, 26 Dec 2024 23:29:26 +0000 Subject: [PATCH] Attempt to fix solver actions --- .github/workflows/test-alt-ergo.yml | 2 +- .github/workflows/test-bitwuzla.yml | 2 +- .github/workflows/test-colibri2.yml | 2 +- .github/workflows/test-cvc5.yml | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/test-alt-ergo.yml b/.github/workflows/test-alt-ergo.yml index 334d32ba..ed1c866f 100644 --- a/.github/workflows/test-alt-ergo.yml +++ b/.github/workflows/test-alt-ergo.yml @@ -6,7 +6,7 @@ on: jobs: test-alt-ergo: - if: contains(github.event.pull_request.labels.*.name, 'alt-ergo') + if: github.event.label.name == 'alt-ergo' runs-on: ubuntu-latest env: OPAMCONFIRMLEVEL: unsafe-yes diff --git a/.github/workflows/test-bitwuzla.yml b/.github/workflows/test-bitwuzla.yml index 86837e09..316c4b67 100644 --- a/.github/workflows/test-bitwuzla.yml +++ b/.github/workflows/test-bitwuzla.yml @@ -6,7 +6,7 @@ on: jobs: test-bitwuzla: - if: contains(github.event.pull_request.labels.*.name, 'bitwuzla') + if: github.event.label.name == 'bitwuzla' runs-on: ubuntu-latest env: OPAMCONFIRMLEVEL: unsafe-yes diff --git a/.github/workflows/test-colibri2.yml b/.github/workflows/test-colibri2.yml index 8c9a60fc..dff0ed61 100644 --- a/.github/workflows/test-colibri2.yml +++ b/.github/workflows/test-colibri2.yml @@ -6,7 +6,7 @@ on: jobs: test-colibri2: - if: contains(github.event.pull_request.labels.*.name, 'colibri2') + if: github.event.label.name == 'colibri2' runs-on: ubuntu-latest env: OPAMCONFIRMLEVEL: unsafe-yes diff --git a/.github/workflows/test-cvc5.yml b/.github/workflows/test-cvc5.yml index f9e151da..5f1dd881 100644 --- a/.github/workflows/test-cvc5.yml +++ b/.github/workflows/test-cvc5.yml @@ -6,7 +6,7 @@ on: jobs: test-cvc5: - if: contains(github.event.pull_request.labels.*.name, 'cvc5') + if: github.event.label.name == 'cvc5' runs-on: ubuntu-latest env: OPAMJOBS: 4