diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index d133d5d60..04ab21a33 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -48,6 +48,9 @@ jobs: allow-prerelease-opam: false - name: depext run: | + if [ "$RUNNER_OS" == "linux" ]; then + apt update + fi opam install . --depext-only --with-test --with-doc - name: setup if: steps.cache-opam.outputs.cache-hit != 'true' diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index de279f251..89dcd56a4 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -35,6 +35,7 @@ jobs: allow-prerelease-opam: false - name: depext run: | + apt update opam install . --depext-only --with-test --with-doc - name: setup-deploy if: steps.cache-opam.outputs.cache-hit != 'true'