From d993f935618eee13dc1b279bfdd9d0573a5e3166 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 3 Jan 2022 22:35:57 -0500 Subject: [PATCH] ci --- .github/workflows/main.yml | 1 + 1 file changed, 1 insertion(+) 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