Skip to content

ci: fix goals present tests (commit a6bd8185)#749

Merged
hendriktews merged 1 commit intoProofGeneral:masterfrom hendriktews:fix-goals-testsMar 23, 2024

Commits

Commits on Mar 23, 2024