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

Commits

  1. Commits on Oct 25, 2026