From 41a607848b68568b4a8edac6d703c064e5db7955 Mon Sep 17 00:00:00 2001 From: Lukasz Stafiniak Date: Wed, 18 Dec 2024 21:18:05 +0100 Subject: [PATCH] Fix github pages workflow --- .github/workflows/gh-pages.yml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 88a20b28..45ae850a 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -7,7 +7,8 @@ on: jobs: deploy: - runs-on: ubuntu-latest + # Avoid Ubuntu 24.04, see: https://github.com/ocaml/opam/issues/5968 + runs-on: ubuntu-22.04 steps: - uses: actions/checkout@main @@ -16,7 +17,7 @@ jobs: uses: actions/cache@v2 with: path: ~/.opam - key: opam-ubuntu-latest-5.2.0 + key: opam-ubuntu-22.04-5.2.0 # - uses: actions/checkout@v2 - uses: ocaml/setup-ocaml@v3.1.4