Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
A new version that also works in my fork and hopefully works in the common repo as well.
Benefits
You see small icons next to the appropriate commit because we use the github api to set statuses.
Drawbacks
It is easier to by mistake introduce code that leaks github secrets. Currently we don't use github secrets in any job. But the idea is that we use github secrets in the
push
event so that we can authenticate with docker hub and dodocker push
.It also requires the repository to give write access to github actions.
Alternatives
It is possible to implement without pull_request_target by simply not setting the statuses on the commits. This means that you will have to look at the commit hash in the build job name to figure out where it failed.