Closed sschulz-t closed 2 years ago
Thank you Simon, looking good to me, runs smoothly as well.
I was wondering whether it makes sense to run the Github workflows for pushes to any branch? Currently, it is limited to master, main, and ssch*.
Thanks a lot Simon!
I am also fine with running this on all branches. Not sure if there are any rate limits, though. We could also limit it to run automatically only if there is an associated PR?
Good point, I think your suggestion to run it if there is an associated PR makes sense, thanks!
This pr fixes the github actions by