ci: add Coq build oracle workflow (closes #227)#231

hyperpolymath merged 1 commit into

mainhyperpolymath/ephapax:mainfrom

ci/coq-build-oracle-227hyperpolymath/ephapax:ci/coq-build-oracle-227Copy head branch name to clipboard