-
Heiko Becker authored
Coq CI script fails early when 8.7.2 compilation breaks HOL4 CI script does not build binaries anymore, this is done by ci-binary.sh ci-binary.sh can be used to build both Coq and HOl4 binaries in a separate pipeline
7e05f873
Coq CI script fails early when 8.7.2 compilation breaks HOL4 CI script does not build binaries anymore, this is done by ci-binary.sh ci-binary.sh can be used to build both Coq and HOl4 binaries in a separate pipeline