From 5c1530f81622bdb64dc6b663080cd29ffb785d85 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 8 Aug 2023 12:49:15 -0400 Subject: [PATCH] github CI --- .github/workflows/main5.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/main5.yml b/.github/workflows/main5.yml index c2632371..fa249248 100644 --- a/.github/workflows/main5.yml +++ b/.github/workflows/main5.yml @@ -33,7 +33,7 @@ jobs: - 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 if: ${{ matrix.os == 'ubuntu-latest' }}