Closes #636#637

Open

bpross-52n wants to merge 2 commits intomasterfrom

Commits on Apr 2, 2025

Prevent passing of test suite when all core conformance tests are skipped
bpross-52n
committed

Commits on Apr 4, 2025

Prevent passing of CTL test suite when all core conformance tests are skipped
bpross-52n
committed