diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 75829676..8d714d10 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -49,3 +49,6 @@ jobs: - run: opam exec -- dune build @src/runtest @examples/runtest @tests/runtest -p tiny_httpd_camlzip if: ${{ matrix.os == 'ubuntu-latest' }} + - run: opam install logs -y + + - run: opam exec -- dune build @install -p tiny_httpd,tiny_httpd_camlzip diff --git a/.github/workflows/main5.yml b/.github/workflows/main5.yml index 786cc4e5..04effbab 100644 --- a/.github/workflows/main5.yml +++ b/.github/workflows/main5.yml @@ -44,3 +44,6 @@ jobs: - run: opam exec -- dune build @src/runtest @examples/runtest @tests/runtest -p tiny_httpd_camlzip if: ${{ matrix.os == 'ubuntu-latest' }} + - run: opam install logs -y + + - run: opam exec -- dune build @install -p tiny_httpd,tiny_httpd_camlzip