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

continuous integration (mathlib forks)

feat(combinatorics/simple_graph): More clique lemmas (#19203) #81615

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