Skip to content

Bump CI actions and lint hooks, plus small correctness fixes - #625

Merged
CompRhys merged 1 commit into
mainfrom
chore/ci-lint-updates
Oct 25, 2026
Merged

Bump CI actions and lint hooks, plus small correctness fixes#625
CompRhys merged 1 commit into
mainfrom
chore/ci-lint-updates

Bump CI actions and lint hooks, plus small correctness fixes

4aff5b3
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Oct 25, 2026 in 1s

86.84% of diff hit (target 80.00%)

View this Pull Request on Codecov

86.84% of diff hit (target 80.00%)

View more details on Codecov