Commit 17f9281a authored by Heiko Becker's avatar Heiko Becker

Update .gitlab-ci.yml to produce artifacts

parent bf9d666a
......@@ -3,10 +3,6 @@ image: localhost:5000/flover
variables:
GIT_SUBMODULE_STRATEGY: normal
cache:
paths:
- hol4/cakeml
stages:
- compile
- binary
......@@ -22,11 +18,19 @@ compile-hol:
only:
- master
script: ./scripts/ci-hol4.sh
artifacts:
expire_in: 24h
paths:
- hol4/
compile-binary:
stage: binary
script: ./scripts/ci-cakeml-binary.sh
only:
- master
artifacts:
expire_in: 24h
paths:
- hol4/binary
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