ci: add aarch64-darwin check

cspr-rad · Jan 31, 2024 · 6adcf37 · 6adcf37
1 parent b20efca
commit 6adcf37
Showing 1 changed file with 14 additions and 6 deletions.
diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
@@ -10,7 +10,7 @@ jobs:
     runs-on: ${{ matrix.os }}
     strategy:
       matrix:
-        os: [ ubuntu-latest, macos-latest ]
+        os: [ ubuntu-latest, macos-latest, macos-14 ]
     steps:
       - uses: actions/checkout@v3
       - uses: DeterminateSystems/nix-installer-action@main
@@ -24,18 +24,26 @@ jobs:
       - name: check
         run: nix flake check -L --show-trace
 
+      - name: kairos x86_64-linux
+        if: matrix.os == 'ubuntu-latest'
+        run: nix build -L --no-link --show-trace .#packages.x86_64-linux.kairos
+
       - name: kairos x86_64-darwin
         if: matrix.os == 'macos-latest'
         run: nix build -L --no-link --show-trace .#packages.x86_64-darwin.kairos
 
-      - name: kairos x86_64-linux
+      - name: kairos aarch64-darwin
+        if: matrix.os == 'macos-14'
+        run: nix build -L --no-link --show-trace .#packages.aarch64-darwin.kairos
+
+      - name: kairos-prover x86_64-linux
         if: matrix.os == 'ubuntu-latest'
-        run: nix build -L --no-link --show-trace .#packages.x86_64-linux.kairos
+        run: nix build -L --no-link --show-trace .#packages.x86_64-linux.kairos-prover
 
       - name: kairos-prover x86_64-darwin
         if: matrix.os == 'macos-latest'
         run: nix build -L --no-link --show-trace .#packages.x86_64-darwin.kairos-prover
 
-      - name: kairos-prover x86_64-linux
-        if: matrix.os == 'ubuntu-latest'
-        run: nix build -L --no-link --show-trace .#packages.x86_64-linux.kairos-prover
+      - name: kairos-prover aarch64-darwin
+        if: matrix.os == 'macos-14'
+        run: nix build -L --no-link --show-trace .#packages.aarch64-darwin.kairos-prover