From 9da82c692b07db335b893bb05937cb6a108c260e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marijan=20Petri=C4=8Devi=C4=87?= Date: Mon, 15 Apr 2024 12:51:04 -0500 Subject: [PATCH] ci: build kairos-tx-no-std in Nix github action --- .github/workflows/check.yml | 11 +++++++++++ .github/workflows/extra-check.yml | 21 --------------------- 2 files changed, 11 insertions(+), 21 deletions(-) delete mode 100644 .github/workflows/extra-check.yml diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml index e114165d..4d72be20 100644 --- 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 deleted file mode 100644 index 3ea1e1d2..00000000 --- a/.github/workflows/extra-check.yml +++ /dev/null @@ -1,21 +0,0 @@ -name: extra-check -on: - push: - branches: [main] - pull_request: - branches: [main] - -jobs: - # https://github.com/cspr-rad/kairos/pull/61#issuecomment-2035637388 - build-kairos-tx-without-std: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v3 - - name: Install Rust - uses: actions-rs/toolchain@v1 - with: - profile: minimal - toolchain: stable - override: true - - name: Build no_std version of `kairos-tx` - run: cargo build -p kairos-tx --no-default-features