Add merge group CI target

cryspen · Jul 7, 2023 · b898bea · b898bea
1 parent cfc2f92
commit b898bea
Show file tree

Hide file tree

Showing 9 changed files with 16 additions and 0 deletions.
diff --git a/.github/workflows/benchmark_pull_request.yml b/.github/workflows/benchmark_pull_request.yml
@@ -6,6 +6,7 @@ on:
       - 'hacl-star-**'
   pull_request:
   workflow_dispatch:
+  merge_group:
 
 jobs:
   default:

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -14,13 +14,16 @@ on:
       - LICENSE-APACHE
       - README.md
   workflow_dispatch:
+  merge_group:
+  pull_request:
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: true
 
 jobs:
   linux:
+    if: ${{ github.event_name == 'merge_group' }}
     runs-on: ubuntu-latest
     strategy:
       matrix:
@@ -88,6 +91,7 @@ jobs:
           name: linux_${{ matrix.compiler }}_v${{ matrix.version }}_${{ matrix.bits }}_${{ matrix.edition }}
 
   macos:
+    if: ${{ github.event_name == 'merge_group' }}
     runs-on: macos-latest
     strategy:
       matrix:
@@ -154,6 +158,7 @@ jobs:
           name: macos_${{ matrix.compiler }}_v${{ matrix.version }}_${{ matrix.bits }}_${{ matrix.target }}
 
   windows:
+    if: ${{ github.event_name == 'merge_group' }}
     runs-on: windows-latest
     strategy:
       matrix:
@@ -206,6 +211,7 @@ jobs:
   # ----------------------------------------------------------------------------
 
   android:
+    if: ${{ github.event_name == 'merge_group' }}
     runs-on: ubuntu-latest
     strategy:
       matrix:
@@ -232,6 +238,7 @@ jobs:
           name: ${{ matrix.target }}
 
   s390x-gcc:
+    if: ${{ github.event_name == 'merge_group' }}
     runs-on: ubuntu-latest
     steps:
       - name: Checkout
@@ -266,6 +273,7 @@ jobs:
   # ----------------------------------------------------------------------------
 
   default:
+    if: ${{ github.event_name == 'merge_group' }}
     runs-on: ubuntu-latest
     steps:
       - name: Checkout

diff --git a/.github/workflows/build_pull_request.yml b/.github/workflows/build_pull_request.yml
@@ -15,6 +15,7 @@ on:
       - LICENSE-APACHE
       - README.md
   workflow_dispatch:
+  merge_group:
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -25,6 +25,7 @@ on:
       - LICENSE-APACHE
       - README.md
   workflow_dispatch:
+  merge_group:
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}

diff --git a/.github/workflows/examples.yml b/.github/workflows/examples.yml
@@ -15,6 +15,7 @@ on:
       - README.md
   workflow_dispatch:
   pull_request:
+  merge_group:
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}

diff --git a/.github/workflows/js.yml b/.github/workflows/js.yml
@@ -7,6 +7,7 @@ on:
       - 'hacl-star-**'
   pull_request:
   workflow_dispatch:
+  merge_group:
 
 jobs:
    default:

diff --git a/.github/workflows/ocaml.yml b/.github/workflows/ocaml.yml
@@ -26,6 +26,7 @@ on:
       - LICENSE-APACHE
       - README.md
   workflow_dispatch:
+  merge_group:
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}

diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -26,6 +26,7 @@ on:
       - LICENSE-APACHE
       - README.md
   workflow_dispatch:
+  merge_group:
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}

diff --git a/.github/workflows/sanitizer_builds.yml b/.github/workflows/sanitizer_builds.yml
@@ -15,6 +15,7 @@ on:
       - LICENSE-APACHE
       - README.md
   workflow_dispatch:
+  merge_group:
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}