Skip to content

CI simple-tests: separate github action job for qRHL#713

Merged
hendriktews merged 1 commit intoProofGeneral:masterfrom hendriktews:qrhl-testOct 31, 2023

Commits

Commits on Oct 31, 2023