Skip to content

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

raszi merged 7 commits into
mainfrom
chore/hooks-and-upgrades

Conversation

@raszi

@raszi raszi commented Nov 8, 2026 •

Copy link
Copy Markdown
Member
  • Add git hooks to devenv.nix. The hooks check the Nix files, the YAML files, the GitHub workflows, the spelling, and the secrets.
  • Add relint, check-declare, and org-lint to enterTest.
  • Add --strict to the Eask compile and lint steps in devenv.nix, Makefile, and CI. With --strict, a warning stops the step.
  • Upgrade the devenv and nixpkgs inputs.
  • Upgrade actions/checkout from v4 to v7.

@raszi raszi added the chore Do maintenance work. Do not change the source or a test. label Nov 8, 2026
@raszi raszi changed the title Add git hooks and upgrade the dev tools Add git hooks, more linters, and upgrade the dev tools Nov 8, 2026
@raszi
raszi merged commit a899596 into main Nov 8, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Do maintenance work. Do not change the source or a test.

Development

Successfully merging this pull request may close these issues.

1 participant