Display CPU info in CI

Author: ehuss

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