Skip to content

Commit

Permalink
disable opam cache in CI
Browse files Browse the repository at this point in the history
  • Loading branch information
zapashcanon committed Mar 3, 2025
1 parent b4cf785 commit ab65cee
Showing 1 changed file with 1 addition and 12 deletions.
13 changes: 1 addition & 12 deletions .github/workflows/build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -31,20 +31,11 @@ jobs:
git submodule update --init test/script/reference
git submodule update --init test/c/collections-c/files
mv .git .git.tmp # prevents opam from checking-out submodules
- name: cache
id: cache-opam
uses: actions/cache@v4
env:
cache-name: cache-opam-build
with:
path: |
~/work/owi/owi/_opam/
key: ${{ runner.os }}-build-${{ matrix.ocaml-compiler }}-${{ env.cache-name }}-${{ hashFiles('**/*.opam') }}
- name: setup-ocaml
uses: ocaml/setup-ocaml@v3
with:
ocaml-compiler: ${{ matrix.ocaml-compiler }}
dune-cache: true
dune-cache: false
opam-pin: true
allow-prerelease-opam: false
- name: depext
Expand All @@ -62,12 +53,10 @@ jobs:
fi
opam install . --depext-only --with-test --with-doc
- name: setup
if: steps.cache-opam.outputs.cache-hit != 'true'
run: |
opam install . --deps-only --with-test --with-doc
opam install smtml z3
opam install ocamlformat
opam clean --switch-cleanup
- name: build
run: |
if [ "$RUNNER_OS" == "macOS" ]; then
Expand Down

0 comments on commit ab65cee

Please sign in to comment.