+51
.github/actions/checkout/action.yml
+51
.github/actions/checkout/action.yml
···+description: "Whether and which SHA to checkout for the merge commit in the ./untrusted folder."+description: "Whether to checkout the pinned nixpkgs for CI and from where (trusted, untrusted)."+description: "Whether and which SHA to checkout for the target commit in the ./trusted folder."
-80
.github/actions/get-merge-commit/action.yml
-80
.github/actions/get-merge-commit/action.yml
···-description: 'Checks whether the Pull Request is mergeable and checks out the repo at up to two commits: The result of a temporary merge of the head branch into the target branch ("merged"), and the parent of that commit on the target branch ("target"). Handles push events and merge conflicts gracefully.'-description: "Whether to checkout the pinned nixpkgs for CI and from where (trusted, untrusted)."
+1
-1
.github/workflows/README.md
+1
-1
.github/workflows/README.md
···This is a temporary commit that GitHub creates automatically as "what would happen, if this PR was merged into the base branch now?".The checkout could be done via the virtual branch `refs/pull/<pr-number>/merge`, but doing so would cause failures when this virtual branch doesn't exist (anymore).This can happen when the PR has conflicts, in which case the virtual branch is not created, or when the PR is getting merged while workflows are still running, in which case the branch won't exist anymore at the time of checkout.-Thus, we use the `get-merge-commit.yml` workflow to check whether the PR is mergeable and the test merge commit exists and only then run the relevant jobs.+Thus, we use the `prepare` job to check whether the PR is mergeable and the test merge commit exists and only then run the relevant jobs.
+4
-5
.github/workflows/build.yml
+4
-5
.github/workflows/build.yml
···
+5
-7
.github/workflows/check.yml
+5
-7
.github/workflows/check.yml
···
+9
-12
.github/workflows/eval.yml
+9
-12
.github/workflows/eval.yml
·········
+13
-17
.github/workflows/lint.yml
+13
-17
.github/workflows/lint.yml
·········
+14
-49
.github/workflows/pr.yml
+14
-49
.github/workflows/pr.yml
······
+31
-1
ci/github-script/prepare.js
+31
-1
ci/github-script/prepare.js
············