build

Batch pipeline optimizations and bugfixes (#370) #1779

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-pre-commit-hooks	26s
test-on-github (3.10)	5m 47s
test-on-github (3.9, true)	7m 7s
test-on-github (3.12)	4m 2s
test-on-github (3.11)	5m 19s
mirror-to-gitlab	37s
check-code-mypy	1m 36s
	24m 54s