From 79bbb5ce33856ddd2ca28c4a803ba3068f673def Mon Sep 17 00:00:00 2001
From: Fardale <fardale+git@crans.org>
Date: Sat, 3 Apr 2021 20:27:44 +0200
Subject: [PATCH] ci: fix cache key for gh-pages

---
 .github/workflows/gh-pages.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index 99fd13c0..f1492d9f 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -16,7 +16,7 @@ jobs:
         uses: actions/cache@v2
         with:
           path: ~/.opam
-          key: opam-${{ matrix.os }}-${{ matrix.ocaml }}
+          key: opam-ubuntu-latest-4.12.0
 
       - uses: avsm/setup-ocaml@v1
         with: