Skip to content

Commit

Permalink
remove cache from deploy CI because it always breaks
Browse files Browse the repository at this point in the history
  • Loading branch information
zapashcanon committed Nov 12, 2024
1 parent b6c6b60 commit 0936100
Showing 1 changed file with 1 addition and 11 deletions.
12 changes: 1 addition & 11 deletions .github/workflows/deploy.yml
Original file line number Diff line number Diff line change
Expand Up @@ -16,28 +16,18 @@ jobs:
run: |
git submodule update --init test/script/reference
git submodule update --init test/c/collections-c/files
- name: cache
id: cache-opam
uses: actions/cache@v4
env:
cache-name: cache-opam-deploy
with:
path: |
~/work/owi/owi/_opam/
key: ${{ runner.os }}-deploy-${{ env.cache-name }}-${{ hashFiles('**/*.opam') }}
- name: setup-ocaml
uses: ocaml/setup-ocaml@v3
with:
ocaml-compiler: "5.2"
dune-cache: true
dune-cache: false
opam-pin: true
allow-prerelease-opam: false
- name: depext
run: |
sudo apt update
opam install . --depext-only --with-test --with-doc
- name: setup-deploy
if: steps.cache-opam.outputs.cache-hit != 'true'
run: |
opam install . --deps-only --with-test --with-doc
opam install bisect_ppx z3 ocb
Expand Down

0 comments on commit 0936100

Please sign in to comment.