continuous integration (staging)

chore(GroupTheory/Coset): split off `Defs` file (#18347) #11475

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Cancel Previous Runs (CI)	5s
Build	25m 15s
Lint style	29s
Post-CI job	9s
	25m 58s