Auto merge of #11488 - ehuss:ci-dump-cpu, r=weihanglo

Display CPU info in CI

This displays the CPU information on the CI runners in the logs. This can be helpful for diagnosing CI issues and to better understand the environment they are running under.

Author: bors

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