continuous integration (staging)

feat(CategoryTheory): lemmas about `descOfIsLeftKanExtension` for poi… #10828

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	57m 25s
Cancel Previous Runs (CI)	6s
Lint style	46s
Post-CI job	14s
	58m 31s