From b739d0d468ea7bbb1d6c393101c93ead3a2e16ea Mon Sep 17 00:00:00 2001
From: Yannick Forster <forster@cs.uni-saarland.de>
Date: Mon, 8 Nov 2021 17:45:43 +0100
Subject: [PATCH] fix CI

---
 .github/workflows/build.yml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index a41e4c9..140e04e 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -12,9 +12,9 @@ jobs:
         uses: actions/cache@v2
         with:
           path: "~/.opam"
-          key: opam-${{github.base_ref}}-${{github.ref}} 
+          key: opamdir-${{github.base_ref}}-${{github.ref}} 
           restore-keys: |
-            opam--refs/heads/${{github.base_ref}}
+            opamdir--refs/heads/${{github.base_ref}}
 
       - name: Install OCaml
         uses: avsm/setup-ocaml@v1
@@ -27,7 +27,6 @@ jobs:
           fetch-depth: 1
 
       - run: opam repo add coq-released https://coq.inria.fr/opam/released
-      - run: opam repo add coq-core-dev https://coq.inria.fr/opam/core-dev
       - run: opam install . --deps-only --with-doc --with-test
 
       - run: opam exec -- make -j 2 all