.github/workflows: pending-{set,clear} #96056
Conversation
| name: "set pending status" | ||
|
|
||
| on: | ||
| pull_request_target: |
There was a problem hiding this comment.
https://docs.github.com/en/actions/reference/events-that-trigger-workflows#pull_request_target
This event is similar to
pull_request, except that it runs in the context of the base repository of the pull request, rather than in the merge commit. This means that you can more safely make your secrets available to the workflows triggered by the pull request, because only workflows defined in the commit on the base repository are run.
|
Guess we need a token, it would need to have @GrahamcOfBorg would probably be the easiest to use but not sure that anyone else has the keys to it? @cole-h Do you know? |
|
What scope does a token has when it builds on the master branch? |
|
Seems that the default GITHUB_TOKEN is sufficient for this, sorry for the noise. |
Add actions to set a pending status that is then cleared by an ofborg event.
Initial dicussion in NixOS/ofborg#527
Tested in a personal repo with travis.
cc @Mic92