update CI config

0496f86a · Ralf Jung · a45424d9 · 0496f86a
Commit 0496f86a authored Sep 29, 2020 by Ralf Jung
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -16,7 +16,7 @@ variables:
  cache:
    key: "$CI_JOB_NAME"
    paths:
-    - opamroot/
+    - _opam/
  only:
  - /^master/@iris/iris
  - /^ci/@iris/iris