continuous integration (staging)

chore: rename CanonicallyOrderedAddMonoid to ..AddCommMonoid (#7503) #4750

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	1h 34m 25s
Cancel Previous Runs (CI)	5s
Check all files imported	15s
Lint style	18s
Post-CI job	10s
	1h 35m 13s