continuous integration

chore(CategoryTheory/Adjunction/Opposites): redefine the opposite of … #153046

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	8m 29s
Cancel Previous Runs (CI)	6s
Lint style	2m 1s
Post-CI job	12s
	10m 48s