test: test 15

.github/workflows/CommentPR.yml

@@ -0,0 +1,57 @@
+name: Comment on the pull request
+
+# read-write repo token
+# access to secrets
+on:
+  workflow_run:
+    workflows: ["Receive PR"]
+    types:
+      - completed
+
+jobs:
+  upload:
+    runs-on: ubuntu-latest
+    steps:
+
+      - name: Download artifact
+        uses: actions/download-artifact@v4
+        with:
+          name: pr-number.zip
+      - run: unzip pr-number.zip
+
+      - name: 'Download canbench comments'
+        uses: actions/[email protected]
+        with:
+          script: |
+            var artifacts = await github.actions.listWorkflowRunArtifacts({
+               owner: context.repo.owner,
+               repo: context.repo.repo,
+               run_id: ${{github.event.workflow_run.id }},
+            });
+            var matchArtifact = artifacts.data.artifacts.filter((artifact) => {
+              return artifact.name == "canbench_comments"
+            })[0];
+            var download = await github.actions.downloadArtifact({
+               owner: context.repo.owner,
+               repo: context.repo.repo,
+               artifact_id: matchArtifact.id,
+               archive_format: 'zip',
+            });
+            var fs = require('fs');
+            fs.writeFileSync('${{github.workspace}}/canbench_comments.zip', Buffer.from(download.data));
+      - run: unzip canbench_comments.zip
+
+      - name: 'Set PR'
+        id: set_pr
+        run: echo "::set-output name=pr_number::$(cat ./pr-number)"
+
+      - name: 'Read PR'
+        run: echo "The number is ${{ steps.set_pr.outputs.pr_number }}"
+
+      - name: Post comment
+        uses: thollander/actions-comment-pull-request@v2
+        with:
+          filePath: ./canbench_comment
+          comment_tag: test
+          pr_number: ${{ steps.set_pr.outputs.pr_number }}
+

.github/workflows/ReceivePR.yml

@@ -0,0 +1,34 @@
+name: Receive PR
+
+# read-only repo token
+# no access to secrets
+on:
+  pull_request:
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+
+    steps:        
+      - uses: actions/checkout@v2
+
+      - name: Save PR number
+        run: |
+          mkdir -p ./pr
+          echo ${{ github.event.number }} > ./pr/NR
+
+      - name: Save canbench comments
+        run: |
+          mkdir -p ./canbench_comments
+          echo "# \`canbench\`" > ./canbench_comments/canbench_comment
+
+      - uses: actions/upload-artifact@v4
+        with:
+          name: pr-number
+          path: pr/NR
+
+      - uses: actions/upload-artifact@v4
+        with:
+          name: canbench_comments
+          path: canbench_comments/
+