diff options
| author | bjorn3 <17426603+bjorn3@users.noreply.github.com> | 2022-12-15 13:59:29 +0000 |
|---|---|---|
| committer | bjorn3 <17426603+bjorn3@users.noreply.github.com> | 2022-12-15 13:59:29 +0000 |
| commit | e082eebb5f3fceac83b5cca666e601e5ce0a964b (patch) | |
| tree | 1e07cf6cdef6d15d0396e8d88d21296f26d1ac02 | |
| parent | d841f93855f94cafaf3c1a5933b6a0b1c88fa9d3 (diff) | |
| download | rust-e082eebb5f3fceac83b5cca666e601e5ce0a964b.tar.gz rust-e082eebb5f3fceac83b5cca666e601e5ce0a964b.zip | |
Run verifier checks during rustc tests too
Fixes #1219
| -rw-r--r-- | .github/workflows/rustc.yml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.github/workflows/rustc.yml b/.github/workflows/rustc.yml index bef806318ef..af34e10c759 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 |