Thomas Eizinger 41cae2ed3b 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

2025-05-02 05:45:21 +00:00

..

_build_artifacts.yml

ci: don't build Windows headless client for perf tests (#8980)

2025-05-01 13:26:06 +00:00

_codeql.yml

ci: reference GitHub actions by hash (#7724)

2025-01-12 17:35:52 +00:00

_deploy_production.yml

build(deps): bump google-github-actions/auth from 2.1.8 to 2.1.10 (#8969)

2025-05-01 11:09:24 +00:00

_elixir.yml

feat(portal): Receive WAL events (#8909)

2025-04-29 23:53:06 -07:00

_integration_tests.yml

ci: Use search_domain for one resource in CI test (#8393)

2025-03-15 13:27:22 +00:00

_kotlin.yml

ci(android): only build release bundles on request (#8983)

2025-05-01 21:19:54 +00:00

_rust.yml

ci(rust): only run proptest's regression seeds on Windows (#9010)

2025-05-02 05:45:21 +00:00

_static-analysis.yml

build(deps): bump actions/setup-python from 5.5.0 to 5.6.0 (#8967)

2025-05-01 11:09:03 +00:00

_swift.yml

chore: release clients with GSO fix (#8936)

2025-04-29 23:52:43 -07:00

_tauri.yml

chore: release clients with GSO fix (#8936)

2025-04-29 23:52:43 -07:00

_terraform.yml

chore(infra): Move google gateway to dedicated module (#8489)

2025-03-20 05:16:28 +00:00

cd.yml

chore(infra): Move terraform/environments to submodule (#8168)

2025-02-18 14:01:13 +00:00

ci.yml

ci: don't run Tauri workflows on every PR (#8981)

2025-05-01 23:15:45 +00:00

deploy.yml

style: Enforce code style across all supported languages using Prettier (#7322)

2024-11-13 00:19:15 +00:00

publish.yml

build(deps): bump google-github-actions/auth from 2.1.8 to 2.1.10 (#8969)

2025-05-01 11:09:24 +00:00

sentry.yml

ci: create Sentry releases for Android clients (#8463)

2025-03-17 11:30:02 +00:00

website-links.yml

ci: don't run link linter on repository_dispatch (#8694)

2025-04-08 19:59:16 +00:00