Merge pull request google#265 from j2kun:rust-ci

PiperOrigin-RevId: 583458709
j2kun · Nov 17, 2023 · 74e7a57 · 74e7a57
2 parents bdd7c4b + f85af03
commit 74e7a57
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 0 deletions.
diff --git 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 # [email protected]
+        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
@@ -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 "$@"