continuous integration (staging)

feat(analysis/convex/proj_Icc): Extending convex functions (#18797) #6607

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint style	16s
Cancel Previous Runs (CI)	4s
Build mathlib	2h 24m 19s
Lint mathlib	59m 36s
Run tests	20m 10s
Post-CI job	12s
	3h 44m 37s