From 41cae2ed3b51decabf37952d9db6b702d1553748 Mon Sep 17 00:00:00 2001 From: Thomas Eizinger Date: Fri, 2 May 2025 15:45:21 +1000 Subject: [PATCH] ci(rust): only run proptest's regression seeds on Windows (#9010) GitHub's Windows runners are very slow. In order to not prolong CI runs too much, we set the number of _additional_ proptest cases for Windows to 0. This means we still run all the regression seeds that we've accumulated in `proptest-regressions/tests.txt` and simply don't generate any new ones on top of it. This is also a good benchmark to ensure that our regression seeds cover all cases that we are testing further down below using the coverage grepping. Related: #8948 --- .github/workflows/_rust.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/_rust.yml b/.github/workflows/_rust.yml index 4ca8ac9c2..c7558f0e6 100644 --- a/.github/workflows/_rust.yml +++ b/.github/workflows/_rust.yml @@ -116,6 +116,7 @@ jobs: # Needed to create tunnel interfaces in unit tests CARGO_TARGET_X86_64_UNKNOWN_LINUX_GNU_RUNNER: "sudo --preserve-env" PROPTEST_VERBOSE: 0 # Otherwise the output is very long. + PROPTEST_CASES: ${{ runner.os == 'Windows' && '0' || '256' }} # Default is only 256. Windows is very slow in GitHub Actions, so only run the regression cases there. CARGO_PROFILE_TEST_OPT_LEVEL: 1 # Otherwise the tests take forever. TESTCASES_DIR: "connlib/tunnel/testcases"