continuous integration (staging)

chore(CategoryTheory): pp_dot for `NatTrans` and `Equivalence` (#7241) #4605

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check all files imported	12s
Build	56m 29s
Cancel Previous Runs (CI)	7s
Lint style	14s
Post-CI job	9s
	57m 11s