Skip to content

Commit

Permalink
install ocb in deploy CI
Browse files Browse the repository at this point in the history
  • Loading branch information
zapashcanon committed Aug 2, 2024
1 parent 80c87da commit a9e4bb7
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/deploy.yml
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,7 @@ jobs:
if: steps.cache-opam.outputs.cache-hit != 'true'
run: |
opam install . --deps-only --with-test --with-doc
opam install bisect_ppx z3
opam install bisect_ppx z3 ocb
- name: api
run: |
touch doc/.nojekyll
Expand Down

0 comments on commit a9e4bb7

Please sign in to comment.