ci: Print free disk space

pull/17599/head
MarcoFalke 5 years ago
parent fad9fdbea5
commit fabd71076c
No known key found for this signature in database
GPG Key ID: CE2B75697E69A548

@ -72,6 +72,8 @@ if [ "$TRAVIS_OS_NAME" == "osx" ]; then
else else
DOCKER_EXEC free -m -h DOCKER_EXEC free -m -h
DOCKER_EXEC echo "Number of CPUs \(nproc\):" \$\(nproc\) DOCKER_EXEC echo "Number of CPUs \(nproc\):" \$\(nproc\)
DOCKER_EXEC echo "Free disk space:"
DOCKER_EXEC df -h
fi fi
if [ -n "$DPKG_ADD_ARCH" ]; then if [ -n "$DPKG_ADD_ARCH" ]; then

Loading…
Cancel
Save