continuous integration (staging)

chore(CategoryTheory): Deprecate `CategoryTheory/Topos/Classifier.lea… #22790

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci (staging) / Build	7m 52s
ci (staging) / Lint style	2m 17s
ci (staging) / Upload to cache	1m 6s
ci (staging) / Post-Build Step	2m 39s
ci (staging) / Post-CI job	8s
	14m 2s