diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 832572bcf35..e8897e9ae81 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -159,21 +159,19 @@ jobs: ./y.exe prepare - name: Build - run: ./y.exe build - - - name: Test + #name: Test run: | # Enable backtraces for easier debugging - $Env:RUST_BACKTRACE=1 + #$Env:RUST_BACKTRACE=1 # Reduce amount of benchmark runs as they are slow - $Env:COMPILE_RUNS=2 - $Env:RUN_RUNS=2 + #$Env:COMPILE_RUNS=2 + #$Env:RUN_RUNS=2 # Enable extra checks - $Env:CG_CLIF_ENABLE_VERIFIER=1 + #$Env:CG_CLIF_ENABLE_VERIFIER=1 - ./y.exe test + ./y.exe build - name: Package prebuilt cg_clif # don't use compression as xzip isn't supported by tar on windows and bzip2 hangs