diff options
| -rw-r--r-- | .github/workflows/main.yml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 1a947d3551c..832572bcf35 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -164,14 +164,14 @@ jobs: - name: Test run: | # Enable backtraces for easier debugging - export RUST_BACKTRACE=1 + $Env:RUST_BACKTRACE=1 # Reduce amount of benchmark runs as they are slow - export COMPILE_RUNS=2 - export RUN_RUNS=2 + $Env:COMPILE_RUNS=2 + $Env:RUN_RUNS=2 # Enable extra checks - export CG_CLIF_ENABLE_VERIFIER=1 + $Env:CG_CLIF_ENABLE_VERIFIER=1 ./y.exe test |