Closed trin94 closed 10 months ago
Thank you very much! Looks good to me.
For the record: This PR adds the pull_request
trigger to the workflow. I did a cursory check, and as far as I can tell this is okay and will hopefully not cause any security issues because the pull_request
trigger runs the workflow under the PR author's fork, not ours. The pull_request
trigger is different from the pull_request_target
trigger.
Hey, this pull request is just some maintenance work on the pipeline. The commits should speak for themselves. Feel free to squash them when you merge. Best regards :smile: