Make not required CI only run with certain flags

formalsec · Oct 24, 2024 · 26097fb · 26097fb
1 parent 775952d
commit 26097fb
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 20 deletions.
diff --git a/.github/workflows/test-alt-ergo.yml b/.github/workflows/test-alt-ergo.yml
@@ -1,15 +1,12 @@
 name: Test Alt-Ergo
 
 on:
-  push:
-    branches:
-      - main
   pull_request:
-    branches:
-      - main
+    types: [ labeled ]
 
 jobs:
   test-alt-ergo:
+    if: contains(github.event.pull_request.labels.*.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
@@ -1,15 +1,12 @@
 name: Test Bitwuzla
 
 on:
-  push:
-    branches:
-      - main
   pull_request:
-    branches:
-      - main
+    types: [ labeled ]
 
 jobs:
   test-bitwuzla:
+    if: contains(github.event.pull_request.labels.*.name, 'bitwuzla')
     runs-on: ubuntu-latest
     env:
       OPAMCONFIRMLEVEL: unsafe-yes

diff --git a/.github/workflows/test-colibri2.yml b/.github/workflows/test-colibri2.yml
@@ -1,15 +1,12 @@
 name: Test Colibri2
 
 on:
-  push:
-    branches:
-      - main
   pull_request:
-    branches:
-      - main
+    types: [ labeled ]
 
 jobs:
   test-colibri2:
+    if: contains(github.event.pull_request.labels.*.name, 'colibri2')
     runs-on: ubuntu-latest
     env:
       OPAMCONFIRMLEVEL: unsafe-yes

diff --git a/.github/workflows/test-cvc5.yml b/.github/workflows/test-cvc5.yml
@@ -1,15 +1,12 @@
 name: Test cvc5
 
 on:
-  push:
-    branches:
-      - main
   pull_request:
-    branches:
-      - main
+    types: [ labeled ]
 
 jobs:
   test-cvc5:
+    if: contains(github.event.pull_request.labels.*.name, 'cvc5')
     runs-on: ubuntu-latest
     env:
       OPAMJOBS: 4