-
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
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| ci-binary.sh | ||
| ci-coq.sh | ||
| ci-hol4.sh | ||
| eval_affine.sh | ||
| eval_fixed.sh | ||
| eval_interval.sh | ||
| pre-commit.sh | ||
| regressiontests.sh |