continuous integration (staging)

feat(Algebra/Order/AddGroupWithTop): lemmas about LinearOrderedAddCom… #12840

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	35m 24s
Cancel Previous Runs (CI)	5s
Lint style	25s
Post-CI job	8s
	36m 2s