Skip to content

chore: move to using prek#1105

Merged
henryiii merged 1 commit into
developfrom
henryiii/chore/prek
Apr 9, 2026
Merged

chore: move to using prek#1105
henryiii merged 1 commit into
developfrom
henryiii/chore/prek

Conversation

@henryiii
Copy link
Copy Markdown
Member

@henryiii henryiii commented Apr 9, 2026

Created with opencode & Qwen/Qwen3.5-397B-A17B-FP8.

Signed-off-by: Henry Schreiner <henryfs@princeton.edu>
@github-actions github-actions Bot added the needs changelog Might need a changelog entry label Apr 9, 2026
@henryiii henryiii merged commit 75bd9dc into develop Apr 9, 2026
20 checks passed
@henryiii henryiii deleted the henryiii/chore/prek branch April 9, 2026 21:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

needs changelog Might need a changelog entry

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant