continuous integration (staging)

chore({Finset,Multiset}/Lattice): add `gcongr` attributes (#18451) #11511

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	34m 39s
Cancel Previous Runs (CI)	5s
Lint style	29s
Post-CI job	13s
	35m 26s