diff --git a/.github/workflows/build_and_test.yml b/.github/workflows/build_and_test.yml index de2c3084e..8574fa005 100644 --- a/.github/workflows/build_and_test.yml +++ b/.github/workflows/build_and_test.yml @@ -34,3 +34,13 @@ jobs: - name: "Run `bazel test`" run: | bazel test -c fastbuild //... + + # Tests specifically for the tfhe-rs codegen + - name: rustup toolchain install + uses: dtolnay/rust-toolchain@439cf607258077187679211f12aa6f19af4a0af7 # pin@1.72.1 + with: + toolchain: stable + + - name: Test rust codegen targets + run: | + bash .github/workflows/run_rust_tests.sh diff --git a/.github/workflows/run_rust_tests.sh b/.github/workflows/run_rust_tests.sh new file mode 100644 index 000000000..8c0f24573 --- /dev/null +++ b/.github/workflows/run_rust_tests.sh @@ -0,0 +1,6 @@ +#!/bin/bash + +set -eux +set -o pipefail + +bazel query "filter('.mlir.test$', //tests/tfhe_rust/end_to_end/...)" | xargs bazel test --sandbox_writable_path=$HOME/.cargo "$@"