This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

continuous integration

linter #121011

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build mathlib	12m 13s
Cancel Previous Runs (CI)	4s
Lint style	43s
Run tests	22m 25s
Lint mathlib	1h 1m 54s
Post-CI job	0s
	1h 37m 19s