Pull Request or Push

Fix pre-commit warts #855

Sign in to view logs

Workflow file for this run

.github/workflows/pr.yml at a6cde3f

	name: Pull Request or Push

	on:
	push:
	branches:
	- main
	pull_request:
	branches:
	- main

	jobs:
	ci:
	name: CI
	uses: ./.github/workflows/ci.yml
	permissions:
	contents: write
	pull-requests: read