ci: build kairos-tx-no-std in Nix github action

cspr-rad · Apr 15, 2024 · 9da82c6 · 9da82c6
1 parent 5e74f32
commit 9da82c6
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 21 deletions.
diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
@@ -64,6 +64,17 @@ jobs:
         if: matrix.os == 'macos-14'
         run: nix build -L --no-link --show-trace .#packages.aarch64-darwin.kairos
 
+      - name: kairos-tx-no-std x86_64-linux
+        if: matrix.os == 'ubuntu-latest'
+        run: nix build -L --no-link --show-trace .#packages.x86_64-linux.kairos-tx-no-std
+
+      - name: kairos-tx-no-std x86_64-darwin
+        if: matrix.os == 'macos-latest'
+        run: nix build -L --no-link --show-trace .#packages.x86_64-darwin.kairos-tx-no-std
+
+      - name: kairos-tx-no-std aarch64-darwin
+        if: matrix.os == 'macos-14'
+        run: nix build -L --no-link --show-trace .#packages.aarch64-darwin.kairos-tx-no-std
       - 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

diff --git a/.github/workflows/extra-check.yml b/.github/workflows/extra-check.yml