ci

Renintroduce `pull_request` in GitHub workflow with if case #465

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
pre-commit	17s
tests (3.9)	1m 33s
tests (3.10)	1m 30s
tests (3.11)	1m 30s
	4m 50s