From 0b6985eb0d2c8c053cf8f616f0107ef501e19e8a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lennard=20G=C3=A4her?= <gaeher@mpi-sws.org>
Date: Fri, 1 Sep 2023 14:17:32 +0200
Subject: [PATCH] cache opam directory

---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b462e136..c407d955 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -20,6 +20,7 @@ variables:
     key: "$CI_JOB_NAME"
     paths:
     - _opam/
+    - ~/.opam
     - ~/.rustup/toolchains
     - ~/.rustup/update-hashes
     - ~/.rustup/settings.toml
-- 
GitLab