Pull Request or Push

Enable mypy in pre-commit #1341

Sign in to view logs

Workflow file for this run

.github/workflows/pr.yml at 4c7c594

	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