Print more info on alpine

mit-plv · Mar 19, 2024 · 3767aab · 3767aab
1 parent e5778af
commit 3767aab
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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