continuous integration (staging)

refactor(CategoryTheory): a structure describing transfinite composit… #13650

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint style	27s
Build	8m 22s
Post-CI job	12s
	9m 1s