summaryrefslogtreecommitdiffhomepage
path: root/.github
diff options
context:
space:
mode:
authorBjarne Koll <[email protected]>2024-05-28 14:19:31 +0200
committerGitHub <[email protected]>2024-05-28 14:19:31 +0200
commit9c917fef08358a8c68e82c04abe0fe0ca707bec1 (patch)
treee012918e73e44c63e97b395f21a92982ec66a065 /.github
parentb0c9b9c4d875cb191e552dc7f410cd34c7d9fdcb (diff)
downloadPaper-9c917fef08358a8c68e82c04abe0fe0ca707bec1.tar.gz
Paper-9c917fef08358a8c68e82c04abe0fe0ca707bec1.zip
[ci skip] Clean up paperclip build-pr workflow (#10802)
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/build.yml13
-rw-r--r--.github/workflows/pr_comment.yml22
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"));