chore: CI

This commit is contained in:
Simon Cruanes 2024-10-01 12:18:15 -04:00
parent e97003644a
commit d50a53ebda
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -27,5 +27,5 @@ jobs:
- run: opam pin -n .
- run: opam depext -yt ezcurl ezcurl-lwt
- run: opam install -t . --deps-only
- run: opam exec -- dune build
- run: opam exec -- dune build @install
- run: opam exec -- dune runtest