Commit c85e922e authored by Heiko Becker's avatar Heiko Becker

Merge branch 'master' of gitlab.mpi-sws.org:AVA/FloVer

parents 0ec85415 8617a0f9
......@@ -24,7 +24,7 @@ compile-hol:
stage: compile
script: ./scripts/ci-hol4.sh
- build-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