This commit is contained in:
Simon Cruanes 2022-01-03 22:35:57 -05:00
parent 6edd7b4372
commit d993f93561
No known key found for this signature in database
GPG key ID: 4AC01D0849AA62B6

View file

@ -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