From 3767aab14e84ebce32583a921ee4be125f2a6a37 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Mon, 18 Mar 2024 22:23:46 -0700 Subject: [PATCH] Print more info on alpine --- etc/ci/describe-system-config.sh | 3 +++ 1 file changed, 3 insertions(+) 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