ci: fix cache key for gh-pages

This commit is contained in:
Fardale 2021-04-03 20:27:44 +02:00
parent 701a558676
commit 79bbb5ce33

View file

@ -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: