diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 5bd1c4d571b16702318c6dbba5e39f9c89dc6664..0a37edb9fdbe565948561db36e944d19e564d9df 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -102,3 +102,5 @@ gnumake:cgal: gnumake:no_cgal: <<: *gnumake_def + +# for CI testing