File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -36,11 +36,12 @@ jobs:
3636 echo "DUNE_WORKSPACE=$PWD/dune-workspace-${{ matrix.ocaml-version }}" >> "$GITHUB_ENV"
3737
3838 - name : Setup Dune
39- uses : mbarbin/setup-dune@d38f7c80df59974cbe417c7f2a849219d54b4fdf # v2.0.0+patch-3
39+ uses : mbarbin/setup-dune@ae2985bcdedc6fb24e5743d6f9dace9cf262b41c # v2.0.0+patch-4
4040 with :
4141 version : " 3.21.0"
4242 workspace : ${{ env.DUNE_WORKSPACE }}
4343 cache-prefix : " main-ci-${{ matrix.ocaml-version }}"
44+ cache-readonly : ${{ github.ref != 'refs/heads/main' }}
4445 steps : install-dune enable-pkg lazy-update-depexts install-gpatch install-depexts
4546
4647 - name : Build and Run tests
Original file line number Diff line number Diff line change @@ -30,11 +30,12 @@ jobs:
3030 echo "DUNE_WORKSPACE=$PWD/dune-workspace-${{ env.OCAML_VERSION }}" >> "$GITHUB_ENV"
3131
3232 - name : Setup Dune
33- uses : mbarbin/setup-dune@d38f7c80df59974cbe417c7f2a849219d54b4fdf # v2.0.0+patch-3
33+ uses : mbarbin/setup-dune@ae2985bcdedc6fb24e5743d6f9dace9cf262b41c # v2.0.0+patch-4
3434 with :
3535 version : " 3.21.0"
3636 workspace : ${{ env.DUNE_WORKSPACE }}
37- cache-prefix : " deploy-odoc-${{ env.OCAML_VERSION }}"
37+ cache-prefix : " main-ci-${{ env.OCAML_VERSION }}"
38+ cache-readonly : true
3839 steps : install-dune enable-pkg lazy-update-depexts install-gpatch install-depexts
3940
4041 - name : Build Odoc Pages
Original file line number Diff line number Diff line change @@ -49,11 +49,12 @@ jobs:
4949 echo "PACKAGES=auto-format,auto-format-tests,auto-format-example" >> "$GITHUB_ENV"
5050
5151 - name : Setup Dune
52- uses : mbarbin/setup-dune@d38f7c80df59974cbe417c7f2a849219d54b4fdf # v2.0.0+patch-3
52+ uses : mbarbin/setup-dune@ae2985bcdedc6fb24e5743d6f9dace9cf262b41c # v2.0.0+patch-4
5353 with :
5454 version : " 3.21.0"
5555 workspace : ${{ env.DUNE_WORKSPACE }}
5656 cache-prefix : ${{ matrix.ocaml-version }}
57+ cache-readonly : ${{ github.ref != 'refs/heads/main' }}
5758 only-packages : ${{ env.PACKAGES }}
5859 steps : install-dune enable-pkg lazy-update-depexts install-gpatch install-depexts
5960
You can’t perform that action at this time.
0 commit comments