Commit cffe703c authored by Heiko Becker's avatar Heiko Becker

Update .gitlab-ci.yml

parent 8cf59d34
......@@ -5,7 +5,7 @@ variables:
stages:
- compile
! - regression
# - regression
compile-coq:
stage: compile
......@@ -23,6 +23,6 @@ compile-hol:
paths:
- hol4/binary/
! regression-tests:
! stage: regression
! script: ./scripts/regressiontests.sh
\ No newline at end of file
# regression-tests:
# stage: regression
# script: ./scripts/regressiontests.sh
\ No newline at end of file
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