Commit 19822e6d authored by Heiko Becker's avatar Heiko Becker

Update gitlab ci config to run the binary phase

parent 3868698c
...@@ -5,12 +5,13 @@ variables: ...@@ -5,12 +5,13 @@ variables:
stages: stages:
- compile - compile
- binary
# - regression # - regression
cache: cache:
paths: paths:
- "HOL4/" - "HOL4/"
compile-coq: compile-coq:
stage: compile stage: compile
script: ./scripts/ci-coq.sh script: ./scripts/ci-coq.sh
...@@ -22,9 +23,14 @@ compile-coq: ...@@ -22,9 +23,14 @@ compile-coq:
compile-hol: compile-hol:
stage: compile stage: compile
script: ./scripts/ci-hol4.sh script: ./scripts/ci-hol4.sh
- build-binaries:
stage: binary
script: ./scripts/ci-binary.sh
artifacts: artifacts:
paths: paths:
- hol4/binary/ - hol4/binary
- coq/binary
# regression-tests: # regression-tests:
# stage: regression # stage: regression
......
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