Attempt to fix solver actions

formalsec · Dec 26, 2024 · 2d1cf7d · 2d1cf7d
1 parent ac3ccad
commit 2d1cf7d
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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