Don't run GitHub actions unless needed and add pre-commit

[edwardchalstrey1]

https://github.com/gambitproject/gambit/tree/master/.github/workflows

Are we missing any good practices for making them:

• more maintainable and manageable
• more targeted in terms of using resources

Ideas:

• don't run things unnecessarily - e.g. Add issue templates gambitproject/gambit#539 would be better if no CI triggered
• [Documentation]: Robust documentation builds gambitproject/gambit#543
• Add a PyPI GitHub action triggered on release gambitproject/gambit#557
• Add Pre-commit hook?
  • At very least could do things that the CI already does e.g. lint.yml calls flake8

[edwardchalstrey1]

Verdict 7th August 2025

I think it will be easier to do the "don't run things unnecessarily" idea above and also suggest any new actions that might be required once I'm a bit further into active development. For now I have just opened one issue for docs build, see above.

[edwardchalstrey1]

Linked to gambitproject/gambit#560