continuous integration (staging)

feat: Add lattice lemmas about `Sub{group,monoid}.{op,unop}` (#9860) #6276

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Cancel Previous Runs (CI)	5s
Lint style	22s
Build	46m 11s
Check all files imported	8s
check workflows	7s
Post-CI job	7s
	47m 0s