Build and deploy library website

chore: Universal properties of colimits quantify over all universe le… #518

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
website (2.6.4)	9m 4s
	9m 4s