Sounds good.
- For the next time, a description to describe what is the PR about and more importantly why, is generally a good idea. - We could add `*.py` to the patterns and `python` to the matrix to also cover the Python helper scripts in the repository. - Also, could you strip the commented code from the workflow definition and also the extensive description comments? I think they are not very useful. - I enabled the mentioned "github/*" actions. In general we restrict the usable actions to the necessary ones for security reasons.