continuous integration (staging)

feat(CategoryTheory/Monoidal/Functor): add lemmas (#16778) #10442

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Cancel Previous Runs (CI)	4s
Lint style	41s
check workflows	8s
Build	26m 28s
Post-CI job	8s
	27m 29s