diff --git a/etc/ci/describe-system-config-common-groups.sh b/etc/ci/describe-system-config-common-groups.sh index a26794a3ef..f1d23962ff 100644 --- a/etc/ci/describe-system-config-common-groups.sh +++ b/etc/ci/describe-system-config-common-groups.sh @@ -1,5 +1,7 @@ #!/bin/sh +eval $(opam env) || true + group uname -a group ulimit -aH group ulimit -aS