Add coverage comment to PR #79

	name: Add coverage comment to PR

	on:
	workflow_run:
	workflows: ["Java Test and Coverage"]
	types:
	- completed

	jobs:
	add-coverage-comment:
	runs-on: ubuntu-latest
	permissions:
	pull-requests: write
	if: >
	github.event.workflow_run.event == 'pull_request' &&
	github.event.workflow_run.conclusion == 'success'
	steps:
	- name: 'Download artifact'
	uses: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea # v7.0.1
	with:
	script: \|
	var artifacts = await github.rest.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 == "pr-comment"
	})[0];
	var download = await github.rest.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}}/pr-comment.zip', Buffer.from(download.data));
	- run: unzip pr-comment.zip

	- name: 'Comment on PR'
	uses: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea # v7.0.1
	with:
	github-token: ${{ secrets.GITHUB_TOKEN }}
	script: \|
	var fs = require('fs');

	const issue_number = Number(fs.readFileSync('./pr-number.txt'));
	const body = fs.readFileSync('./body.txt', { encoding: 'utf8', flag: 'r' });

	await github.rest.issues.createComment({
	owner: context.repo.owner,
	repo: context.repo.repo,
	issue_number: issue_number,
	body: body
	});

Provide feedback