Commit 28b09555 authored by Heiko Becker's avatar Heiko Becker

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

parents c3247be5 2dbeed8b
......@@ -19,7 +19,6 @@ compile-hol:
stage: compile
script: ./scripts/ci-hol4.sh
artifacts:
expire_in: 24h
paths:
- hol4/binary/
......
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