From e082eebb5f3fceac83b5cca666e601e5ce0a964b Mon Sep 17 00:00:00 2001
From: bjorn3 <17426603+bjorn3@users.noreply.github.com>
Date: Thu, 15 Dec 2022 13:59:29 +0000
Subject: [PATCH] Run verifier checks during rustc tests too

Fixes #1219
---
 .github/workflows/rustc.yml | 6 ++++++
 1 file changed, 6 insertions(+)

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