Commit 8617a0f9 authored by Heiko Becker's avatar Heiko Becker

Update .gitlab-ci.yml

parent 974e7569
......@@ -24,7 +24,7 @@ compile-hol:
stage: compile
script: ./scripts/ci-hol4.sh
- binaries:
binaries:
stage: binary
script: ./scripts/ci-binary.sh
artifacts:
......
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