continuous integration (staging)

feat(SetTheory/ZFC): Add `mem_` theorems for `PSet` (#16006) #9899

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	37m 25s
Cancel Previous Runs (CI)	3s
check workflows	9s
Lint style	41s
Post-CI job	0s
	38m 18s