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

continuous integration (mathlib forks)

Merge remote-tracking branch 'origin/master' into sperner-again #81604

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build mathlib (fork)	0s
Cancel Previous Runs (CI)	0s
Lint style (fork)	0s
Lint mathlib (fork)	0s
Run tests (fork)	0s
Post-CI job (fork)	0s
	0s