From a371b1a6f46db9a10266c433ef3cefd18623cc6d Mon Sep 17 00:00:00 2001
From: Eric Huss <eric@huss.org>
Date: Thu, 15 Dec 2022 19:35:24 -0800
Subject: [PATCH] Display CPU info in CI

---
 ci/dump-environment.sh | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/ci/dump-environment.sh b/ci/dump-environment.sh
index 730778515..b9b7ec56c 100755
--- a/ci/dump-environment.sh
+++ b/ci/dump-environment.sh
@@ -11,3 +11,12 @@ echo
 echo "disk usage:"
 df -h
 echo
+
+echo "CPU info:"
+if [[ "${OSTYPE}" = "darwin"* ]]; then
+    system_profiler SPHardwareDataType || true
+    sysctl hw || true
+else
+    cat /proc/cpuinfo || true
+    cat /proc/meminfo || true
+fi