continuous integration (staging)

feat(Geometry/RingedSpace/OpenImmersion): make `IsOpenImmersion` inst… #8704

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Cancel Previous Runs (CI)	3s
Build	14m 9s
check workflows	11s
Lint style	41s
Post-CI job	9s
	15m 13s