GTkernel-PaperFactory / flexitex

5 stars 2 forks source link

Feature Request: Pre-commit hooks #2

Open Matthew-Whitlock opened 1 year ago

Matthew-Whitlock commented 1 year ago

https://pre-commit.com/index.html could let you set up linting etc. to run before local commits so you could maybe run faster and skip the Github Actions wait. And you could reuse the pre-commit hooks as github actions to keep that functionality.

Disclaimer: I've never used this and I want you to use it so I can bother you when I'm trying to learn it later. But it does seem cool for this project. But I will be bothering you later if you do use it.

james-choncholas commented 1 year ago

The linter runs as a vscode extension as you type and so the github action is more of a final check before submission thing. The pre-commit hook would be useful for those who don't use vscode though!