diff options
author | Bjarne Koll <[email protected]> | 2024-05-28 14:19:31 +0200 |
---|---|---|
committer | GitHub <[email protected]> | 2024-05-28 14:19:31 +0200 |
commit | 9c917fef08358a8c68e82c04abe0fe0ca707bec1 (patch) | |
tree | e012918e73e44c63e97b395f21a92982ec66a065 | |
parent | b0c9b9c4d875cb191e552dc7f410cd34c7d9fdcb (diff) | |
download | Paper-9c917fef08358a8c68e82c04abe0fe0ca707bec1.tar.gz Paper-9c917fef08358a8c68e82c04abe0fe0ca707bec1.zip |
[ci skip] Clean up paperclip build-pr workflow (#10802)
-rw-r--r-- | .github/workflows/build.yml | 13 | ||||
-rw-r--r-- | .github/workflows/pr_comment.yml | 22 |
2 files changed, 24 insertions, 11 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 35536bd9a1..cef01ede78 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -39,13 +39,18 @@ jobs: - name: Configure Build uses: actions/github-script@v7 id: determine + env: + REF_NAME: "${{ github.ref_name }}" + REF_TYPE: "${{ github.ref_type }}" + EVENT: "${{ toJSON(github.event) }}" + EVENT_TYPE: "${{ github.event_name }}" with: script: | const {owner, repo} = context.repo; - const event_name = "${{ github.event_name }}"; - const event = ${{ toJSON(github.event) }}; - const ref_type = "${{ github.ref_type }}"; - const ref_name = "${{ github.ref_name }}"; + const event_name = `${process.env.EVENT_TYPE}`; + const event = JSON.parse(`${process.env.EVENT}`); + const ref_type = `${process.env.REF_TYPE}`; + const ref_name = `${process.env.REF_NAME}`; const result = { action: "build" }; diff --git a/.github/workflows/pr_comment.yml b/.github/workflows/pr_comment.yml index 15c059b790..60bed3fd38 100644 --- a/.github/workflows/pr_comment.yml +++ b/.github/workflows/pr_comment.yml @@ -18,6 +18,14 @@ jobs: runs-on: ubuntu-latest steps: - uses: actions/github-script@v7 + env: + BRANCH_NAME: "${{ github.event.workflow_run.head_branch }}" + PR_OWNER: "${{ github.event.workflow_run.head_repository.owner.login }}" + PR_SHA: "${{ github.event.workflow_run.head_sha }}" + RUN_ID: "${{ github.event.workflow_run.id }}" + REPO_ID: "${{ github.event.repository.id }}" + EVENT_TYPE: "${{ github.event.workflow_run.event}}" + PULL_REQUESTS: "${{ toJSON(github.event.workflow_run.pull_requests) }}" with: # This snippet is public-domain, taken from # https://github.com/oprypin/nightly.link/blob/master/.github/workflows/pr-comment.yml @@ -37,17 +45,17 @@ jobs: } const { owner, repo } = context.repo; - const run_id = ${{ github.event.workflow_run.id }}; - const repo_id = ${{ github.event.repository.id }}; + const run_id = `${process.env.RUN_ID}`; + const repo_id = `${process.env.REPO_ID}`; let pulls = []; - const event_type = "${{ github.event.workflow_run.event}}"; + const event_type = `${process.env.EVENT_TYPE}`; if (event_type === "push") { // if push, it's from the same repo which means `pull_requests` is populated - pulls = ${{ toJSON(github.event.workflow_run.pull_requests) }}; + pulls = JSON.parse(`${process.env.PULL_REQUESTS}`); } else { - const pr_branch = "${{ github.event.workflow_run.head_branch }}"; - const pr_sha = "${{ github.event.workflow_run.head_sha }}"; - const pr_owner = "${{ github.event.workflow_run.head_repository.owner.login }}"; + const pr_branch = `${process.env.BRANCH_NAME}`; + const pr_sha = `${process.env.PR_SHA}`; + const pr_owner = `${process.env.PR_OWNER}`; const { data } = await github.rest.pulls.list({ owner, repo, head: `${pr_owner}:${pr_branch}`, state: "open" }); core.debug(JSON.stringify(data, null, 2)); pulls = data.filter((pr) => pr.head.sha === pr_sha && pr.labels.find((l) => l.name === "build-pr-jar")); |