diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 256db65ac3eeb08a9f12c26f84a80ee27b907c91..b32e10da5b541c19fe5b08c9c7a4cac1bca2a710 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/