Repository navigation

Add git hooks, more linters, and upgrade the dev tools - #20

Merged

raszi merged 7 commits into

mainfrom

chore/hooks-and-upgrades

Nov 8, 2026

Merged

Add git hooks, more linters, and upgrade the dev tools#20
raszi merged 7 commits into
mainfrom
chore/hooks-and-upgrades

Commits on Nov 8, 2026
- Add git hooks
  raszi
  committed
  f03e5f6
- Upgrade devenv
  raszi
  committed
  ab8955f
- Upgrade nixpkgs
  raszi
  committed
  7c0f0dc
- Upgrade actions/checkout to v7
  raszi
  committed
  4932811
- Run more Eask linters in enterTest
  raszi
  committed
  33781df
- Merge remote-tracking branch 'origin/main' into chore/hooks-and-upgrades
  raszi
  committed
  c3c2ea8
- Treat Eask warnings as errors
  raszi
  committed
  b687d22