Skip to content

ci: lint with prek on PRs - #23

Closed
henryiii wants to merge 1 commit into
mainfrom
ci-prek-lint
Closed

henryiii wants to merge 1 commit into
mainfrom
ci-prek-lint

Conversation

@henryiii

Copy link
Copy Markdown
Contributor

🤖 AI text below 🤖

Adds a lint workflow that runs prek (via j178/prek-action) on pull requests, pushes to main, and manual dispatch. Until now CI only built the book — the hooks in .pre-commit-config.yaml never ran in CI.

Actions are SHA-pinned to match the repo's style; verified clean against zizmor's auditor persona.

Note: if pre-commit.ci is enabled on this repo (the ci: block in .pre-commit-config.yaml suggests it), this may be redundant.

Add a lint workflow that runs prek (via j178/prek-action) on pull
requests, pushes to main, and manual dispatch. Actions are SHA-pinned
to match the repo's style.

Assisted-by: ClaudeCode:claude-opus-4.8
@henryiii henryiii closed this Jul 10, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant