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.

—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.