diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 1dad2e95a2de7c538c12dda355e038967e58b04e..27839b38ed4a25104fb34699e540f53bf5e0f9d7 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -16,7 +16,7 @@ variables: cache: key: "$CI_JOB_NAME-weak_mem" paths: - - opamroot/ + - _opam/ only: - /^master/ - /^ci/