1 files changed, 22 insertions, 0 deletions
diff --git a/src/tools/cargo/ci/dump-environment.sh b/src/tools/cargo/ci/dump-environment.sh
new file mode 100755
index 000000000..b9b7ec56c
--- /dev/null
+++ b/src/tools/cargo/ci/dump-environment.sh
@@ -0,0 +1,22 @@
+#!/bin/bash
+# This script dumps information about the build environment to stdout.
+
+set -euo pipefail
+IFS=$'\n\t'
+
+echo "environment variables:"
+printenv | sort
+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