diff --git a/.github/workflows/rustc.yml b/.github/workflows/rustc.yml
index bef806318efa..af34e10c7596 100644
--- 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