Write file #52

	name: code coverage

	on:
	pull_request:
	branches:
	- main

	jobs:
	comment-forge-coverage:
	runs-on: ubuntu-latest
	permissions:
	contents: read
	pull-requests: write

	steps:
	- name: Checkout code
	uses: actions/checkout@v3
	with:
	token: ${{ secrets.GITHUB_TOKEN }}

	- name: Install foundry
	uses: foundry-rs/foundry-toolchain@v1
	with:
	version: nightly
	- name: Run Forge build
	run: \|
	forge --version
	forge build --sizes
	id: build
	- name: Run forge coverage
	id: coverage
	run: \|
	{
	echo 'COVERAGE<<EOF'
	forge coverage \| grep -v 'test/' \| tail -n +6
	echo EOF
	} >> "$GITHUB_OUTPUT"

	- name: Check coverage is updated
	uses: actions/github-script@v5
	with:
	github-token: ${{ secrets.GITHUB_TOKEN }}
	script: \|
	const fs = require('fs');
	const file = "coverage.txt"
	if(!fs.existsSync(file)) {
	console.log("Nothing to check");
	return
	}
	const currentCoverage = fs.readFileSync(file, "utf8").trim();
	const newCoverage = (`${{ steps.coverage.outputs.COVERAGE }}`).trim();
	if (newCoverage != currentCoverage) {
	core.setFailed(`Code coverage not updated. Run : forge coverage \| grep -v 'test/' \| tail -n +6`);
	}

	- name: Comment on PR
	id: comment
	uses: actions/github-script@v5
	with:
	github-token: ${{ secrets.GITHUB_TOKEN }}
	script: \|
	const output = `${{ steps.coverage.outputs.COVERAGE }}`;
	const commentBody = `Forge code coverage:\n${output}\n`;
	github.rest.issues.createComment({
	issue_number: context.issue.number,
	owner: context.repo.owner,
	repo: context.repo.repo,
	body: commentBody
	});

Provide feedback