renovate[bot]
a559275c3e
Update prek dependencies ( #22526 )
...
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
Co-authored-by: Micha Reiser <micha@reiser.io >
2026-01-12 08:11:01 +00:00
Charlie Marsh
7bacca9b62
Use prek in documentation and CI ( #22505 )
...
## Summary
AFAIK, many of us on the team are using prek now. It seems appropriate
to modify the docs to formalize it.
2026-01-11 14:17:10 -05:00
renovate[bot]
a1c3f16358
Update pre-commit dependencies ( #22281 )
...
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
Co-authored-by: Micha Reiser <micha@reiser.io >
2025-12-29 17:11:28 +00:00
Micha Reiser
ea6730f546
[ty] Speed-up instrumented benchmarks ( #22133 )
2025-12-22 15:06:22 +01:00
Micha Reiser
ed423e0ae2
[ty] Speedup ty-walltime benchmarks ( #22126 )
...
Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com >
2025-12-22 08:44:17 +01:00
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