diff --git a/etc/ci/describe-system-config.sh b/etc/ci/describe-system-config.sh index 8b6beff011..d295330569 100755 --- a/etc/ci/describe-system-config.sh +++ b/etc/ci/describe-system-config.sh @@ -41,6 +41,7 @@ group opam switch group opam list group ocamlc -config group ocamlc -where +group ocamlfind printconf destdir group ocamlfind list group ocamlfind query findlib group ocamlfind query zarith