github CI

This commit is contained in:
Simon Cruanes 2023-08-08 12:49:15 -04:00
parent 2378271ffb
commit aa8cbb066a
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -33,7 +33,7 @@ jobs:
- run: opam install . --deps-only --with-test - run: opam install . --deps-only --with-test
- run: opam exec -- dune build @install -p tiny_httpd,tiny_httpd_camlzip,tiny_httpd_eio - run: opam exec -- dune build @install -p tiny_httpd,tiny_httpd_camlzip
- run: opam exec -- dune build @src/runtest @examples/runtest @tests/runtest -p tiny_httpd - run: opam exec -- dune build @src/runtest @examples/runtest @tests/runtest -p tiny_httpd
if: ${{ matrix.os == 'ubuntu-latest' }} if: ${{ matrix.os == 'ubuntu-latest' }}