diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index ebb60f3f617e86819e59a3d7987c713d55657687..0c3f452d4a7fbe79e5026492755512ebf3eef4b3 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -16,7 +16,7 @@ variables: cache: key: "$CI_JOB_NAME" paths: - - opamroot/ + - _opam/ only: - master - /^ci/