Skip to content

ci/coq-tests: expect 060_coq-test-wholefile to fail for 8.17#699

Merged
hendriktews merged 1 commit intoProofGeneral:masterfrom hendriktews:whole-failedApr 14, 2023

Commits

Commits on Apr 8, 2023