diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 5a415e13..422d21f6 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -19,6 +19,7 @@ jobs: - run: opam pin -n . - run: opam install tiny_httpd - run: opam install tiny_httpd_camlzip + - run: opam depext -yt tiny_httpd tiny_httpd_camlzip - run: opam reinstall -t tiny_httpd - run: opam reinstall -t tiny_httpd_camlzip - run: opam remove tiny_httpd tiny_httpd_camlzip