continuous integration (staging)

chore(SetTheory/Cardinal/Basic): inline `mul_comm` into instance (#16… #10506

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Cancel Previous Runs (CI)	3s
Build	41m 18s
Lint style	41s
Post-CI job	10s
	42m 12s