-
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 |