Commit 950db992 authored by Heiko Becker's avatar Heiko Becker

Update .gitlab-ci.yml

parent ea0cabd9
......@@ -2,6 +2,7 @@ image: localhost:5000/flover
stages:
- compile
- binary
compile-coq:
stage: compile
......@@ -12,7 +13,7 @@ compile-hol:
script: ./scripts/ci-hol4.sh
compile-binary:
stage: compile
stage: binary
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