message: Display CPU info in CI
diff: @@ -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
  