5 Commits

Author	SHA1	Message	Date
Zanie Blue	cb512ba80b	Use Depot Windows runners for `cargo test` (#18754) ... From 6m 15s -> 3m 54s (total runtime) See also https://github.com/astral-sh/uv/pull/14122 We don't use a Dev Drive here so this is trivial (ref #15664)	2025-06-18 10:52:24 -05:00
Micha Reiser	23261a38a0	[ty] Add more benchmarks (#18714)	2025-06-18 13:41:38 +02:00
David Peter	4775719abf	[red-knot] mypy_primer: larger depot runner (#17547) ... ## Summary A switch from 16 to 32 cores reduces the `mypy_primer` CI time from 3.5-4 min to 2.5-3 min. There's also a 64-core runner, but the 4 min -> 3 min change when doubling the cores once does suggest that it doesn't parallelize *this* well.	2025-04-22 17:36:13 +02:00
Zanie Blue	8a8240b8a6	Use new-style Windows runner tag (#15661) ... I changed these org-wide to make it more obvious what runner it maps to; did not update here as I did in uv	2025-01-21 17:44:17 -06:00
Alex Waygood	712c886749	Add `actionlint` as a pre-commit hook (with shellcheck integration) (#15021)	2024-12-16 17:32:49 +00:00