Skip to content

Commit

Permalink
WIP
Browse files Browse the repository at this point in the history
  • Loading branch information
Hugo Heuzard committed Jun 16, 2024
1 parent 51d3fc8 commit 1e28d2d
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion .github/workflows/build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -35,8 +35,10 @@ jobs:
dune-cache: true
allow-prerelease-opam: true

- run: opam install . --with-test --deps-only

- name: configure tree
run: opam exec -- ./configure
run: opam exec -- sh ./configure

- name: Build
run: opam exec -- make
Expand Down

0 comments on commit 1e28d2d

Please sign in to comment.