mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Run verifier checks during rustc tests too

Browse Source 
Fixes #1219
This commit is contained in:
bjorn3 2022-12-15 13:59:29 +00:00
parent d841f93855
commit e082eebb5f
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.github/workflows/rustc.yml vendored
View File

@ -41,6 +41,9 @@ jobs:
# Enable backtraces for easier debugging # Enable backtraces for easier debugging
export RUST_BACKTRACE=1 export RUST_BACKTRACE=1
# Enable extra checks
export CG_CLIF_ENABLE_VERIFIER=1
./scripts/test_bootstrap.sh ./scripts/test_bootstrap.sh
rustc_test_suite: rustc_test_suite:
runs-on: ubuntu-latest runs-on: ubuntu-latest
@ -79,4 +82,7 @@ jobs:
# Enable backtraces for easier debugging # Enable backtraces for easier debugging
export RUST_BACKTRACE=1 export RUST_BACKTRACE=1
# Enable extra checks
export CG_CLIF_ENABLE_VERIFIER=1
./scripts/test_rustc_tests.sh ./scripts/test_rustc_tests.sh