Commit ea0cabd9 authored by Heiko Becker's avatar Heiko Becker

Update .gitlab-ci.yml

parent f4fa12cb
......@@ -9,9 +9,10 @@ compile-coq:
compile-hol:
stage: compile
script: cd hol4 && Holmake
script: ./scripts/ci-hol4.sh
compile-binary:
depends: compile-hol
stage: compile
script: cd hol4/binary && Holmake checkerBinaryTheory.uo && Holmake checker.S && Holmake cake_checker
script: ./scripts/ci-cakeml-binary.sh
dependencies:
- compile-hol
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment