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

continuous integration

Merge branch 'master' into YK-cont-alternating #121025

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Cancel Previous Runs (CI)	4s
Build mathlib	1s
Lint style	1m 30s
Run tests	1s
Lint mathlib	1s
Post-CI job	1s
	1m 38s