Repository navigation

Hook dependencies update - #697

Merged

lorenzwalthert merged 2 commits into

mainfrom

hook-dependencies-update

Oct 31, 2026

Merged

Hook dependencies update#697
lorenzwalthert merged 2 commits into
mainfrom
hook-dependencies-update

Commits on Oct 30, 2026
- Update renv dependencies
  github-actions[bot]
  committed
  36cf672
- Pin hooks rev to 36cf672
  github-actions[bot]
  committed
  30dfea2