Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
For security reasons, fork PRs don't have access to secrets if we use `pull_request` in GH Actions CI spec, only if we use `pull_request_target`, which has its own security implications. See https://securitylab.github.com/research/github-actions-preventing-pwn-requests/ Codecov status reporting in CI requires a token, so for fork PRs to be able to do so we migrated to `pull_request_target` with the caveat that MRs have to be labelled and have the `run ci` label applied, which can only be done by someone with triage access to the repo. PRs originating from the original repo shouldn't require a label. This should give us a good compromise in terms of security.
- Loading branch information