Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
CI: avoid mixing caches from different OSes
This is a bug in setup-ocaml@v3 ocaml/setup-ocaml#839 Work it around by defining our own cache prefix key as suggested in EXAMPLES.md Signed-off-by: Edwin Török <[email protected]>
- Loading branch information