Dark theme #22

	name: Format, Lint and add changes on PR

	on:
	pull_request:
	types:
	- opened
	- synchronize
	- reopened
	- ready_for_review
	branches:
	- main

	permissions:
	contents: write
	pull-requests: write

	jobs:
	test:
	runs-on: ubuntu-latest
	steps:
	- name: Setup repo
	uses: actions/checkout@v4

	- name: Setup Deno
	uses: denoland/setup-deno@v2
	with:
	deno-version: v2.x

	- name: Switch to branch
	run: \|
	git fetch origin "${{ github.head_ref }}"
	git switch "${{ github.head_ref }}"

	- name: Run linter and capture errors
	id: lint
	run: \|
	# Run the Deno linter and capture stderr
	deno task lint 2> lint-error.log \|\| true

	- name: Comment on PR if linter fails
	uses: actions/github-script@v7
	with:
	script: \|
	const fs = require('fs');

	// Read the linter error output
	const errorOutput = fs.readFileSync('lint-error.log', 'utf8');

	if (!errorOutput) {
	console.log("No lint errors.");
	return;
	}

	// Create a comment on the PR with the error message
	await github.rest.issues.createComment({
	issue_number: context.issue.number,
	owner: context.repo.owner,
	repo: context.repo.repo,
	body: `## Linter Failed:\n\n\`\`\`${errorOutput}\`\`\``
	});

	- name: Verify formatting
	run: deno task fmt

	- name: Ensure Changes Exist
	run: \|
	if git diff --exit-code; then
	echo "No changes to commit, exiting."
	exit 0
	fi

	- name: Set up Git user
	run: \|
	git config user.name "github-actions"
	git config user.email "[email protected]"

	- name: Push fmt changes
	run: \|
	git commit -am "deno formatting"
	git push https://x-access-token:${{ github.token }}@github.com/${{ github.repository }} "${{ github.head_ref }}"

Provide feedback