Run verifier checks during rustc tests too

Fixes #1219

diff --git a/.github/workflows/rustc.yml b/.github/workflows/rustc.yml
index bef806318efa836aeeb8d6df06d880b77be677fb..af34e10c7596d135d6cf9267fb7f85408e3110c8 100644 (file)
--- a/.github/workflows/rustc.yml
+++ b/.github/workflows/rustc.yml
@@ -41,6 +41,9 @@ jobs:
         # Enable backtraces for easier debugging
         export RUST_BACKTRACE=1
 
+        # Enable extra checks
+        export CG_CLIF_ENABLE_VERIFIER=1
+
         ./scripts/test_bootstrap.sh
   rustc_test_suite:
     runs-on: ubuntu-latest
@@ -79,4 +82,7 @@ jobs:
         # Enable backtraces for easier debugging
         export RUST_BACKTRACE=1
 
+        # Enable extra checks
+        export CG_CLIF_ENABLE_VERIFIER=1
+
         ./scripts/test_rustc_tests.sh