Merge branch 'main' into feature/use-dataset

.github/workflows/post-test-results.yml

@@ -0,0 +1,53 @@
+name: Post test results
+
+on:
+  workflow_run:
+    workflows: [Automatic Tests]
+    types:
+      - completed
+
+jobs:
+  report-coverage:
+    runs-on: ubuntu-latest
+    steps:
+      - name: 'Download artifact'
+        uses: actions/github-script@v6
+        with:
+          script: |
+            let allArtifacts = await github.rest.actions.listWorkflowRunArtifacts({
+               owner: context.repo.owner,
+               repo: context.repo.repo,
+               run_id: context.payload.workflow_run.id,
+            });
+            let matchArtifact = allArtifacts.data.artifacts.find((artifact) => {
+              return artifact.name == "coverage-report"
+            });
+            if (!matchArtifact) {
+              console.error('no report artifact found');
+              throw new Error('no report');
+            }
+            let download = await github.rest.actions.downloadArtifact({
+               owner: context.repo.owner,
+               repo: context.repo.repo,
+               artifact_id: matchArtifact.id,
+               archive_format: 'zip',
+            });
+            let fs = require('fs');
+            fs.writeFileSync(`${process.env.GITHUB_WORKSPACE}/coverage-report.zip`, Buffer.from(download.data));
+
+      - name: 'Unzip artifact'
+        run: unzip coverage-report.zip
+
+      - name: 'Comment on PR'
+        uses: actions/github-script@v6
+        with:
+          github-token: ${{ secrets.GITHUB_TOKEN }}
+          script: |
+            let fs = require('fs');
+            let issue_number = Number.parseInt(fs.readFileSync('./pr-number'));
+            await github.rest.issues.createComment({
+              owner: context.repo.owner,
+              repo: context.repo.repo,
+              issue_number: issue_number,
+              body: await fs.readFileSync('./report.md')
+            });