continuous integration

Update Mathlib/CategoryTheory/Adjunction/Opposites.lean #153029

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Cancel Previous Runs (CI)	3s
Build	8m 22s
Lint style	1m 16s
Post-CI job	12s
	9m 53s