diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index e4d4274..4bd3e31 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -17,8 +17,8 @@ jobs: runs-on: ubuntu-latest env: OCAML_VERSION: "5.4" - DUNE_VERSION: "3.23.0" - DUNE_DIGEST: "sha256:5588605a056545459833b10fcbfffa240841fa440d92862bfe94a4c8bfc52400" + DUNE_VERSION: "3.23.1" + DUNE_DIGEST: "sha256:9cbcc7fe3b7df76f862c9ab73c241a6106b799765bdd85c75d2e31dc5f410d07" defaults: run: shell: bash diff --git a/.github/workflows/deploy-odoc.yml b/.github/workflows/deploy-odoc.yml index 005a923..e3f5cd5 100644 --- a/.github/workflows/deploy-odoc.yml +++ b/.github/workflows/deploy-odoc.yml @@ -16,8 +16,8 @@ jobs: runs-on: ubuntu-latest env: OCAML_VERSION: "5.4" - DUNE_VERSION: "3.23.0" - DUNE_DIGEST: "sha256:5588605a056545459833b10fcbfffa240841fa440d92862bfe94a4c8bfc52400" + DUNE_VERSION: "3.23.1" + DUNE_DIGEST: "sha256:9cbcc7fe3b7df76f862c9ab73c241a6106b799765bdd85c75d2e31dc5f410d07" defaults: run: shell: bash diff --git a/.github/workflows/dune-pkg-more-ci.yml b/.github/workflows/dune-pkg-more-ci.yml index adcc556..c501241 100644 --- a/.github/workflows/dune-pkg-more-ci.yml +++ b/.github/workflows/dune-pkg-more-ci.yml @@ -31,11 +31,11 @@ jobs: - "5.2" include: - os: ubuntu-latest - dune-version: "3.23.0" - dune-digest: "sha256:5588605a056545459833b10fcbfffa240841fa440d92862bfe94a4c8bfc52400" + dune-version: "3.23.1" + dune-digest: "sha256:9cbcc7fe3b7df76f862c9ab73c241a6106b799765bdd85c75d2e31dc5f410d07" - os: macos-latest - dune-version: "3.23.0" - dune-digest: "sha256:daeaaf1582250706ee1dd12d10a2eef529d3cd68c2e24e6222734b411dd523b8" + dune-version: "3.23.1" + dune-digest: "sha256:8bf87ea697866dbbb2c85a1a761c541dd93a8a4e0b563f594e7e0322ffb7ba2a" exclude: # Exclude the combination already tested in the main ci workflow. - os: ubuntu-latest