continuous integration

feat(CategoryTheory): lemmas about descOfIsLeftKanExtension for point… #128847

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint style	1m 5s
Build	15m 30s
Cancel Previous Runs (CI)	2s
Post-CI job	9s
	16m 46s