3 Commits

Author	SHA1	Message	Date
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