diff --git a/etc/ci/describe-system-config.sh b/etc/ci/describe-system-config.sh
index bc93c92097..3b95fef8c4 100755
--- a/etc/ci/describe-system-config.sh
+++ b/etc/ci/describe-system-config.sh
@@ -31,7 +31,10 @@ group ulimit -aS
 group cat /etc/os-release
 group cat /proc/cpuinfo
 group cat /proc/meminfo
+group cat /etc/alpine-release
 group apk info
+group apk info coq
+group apk --print-arch
 group dpkg -l
 group pacman -Qs
 group ghc --version