diff options
| author | Ariel Ben-Yehuda <ariel.byd@gmail.com> | 2017-03-08 22:19:33 +0200 |
|---|---|---|
| committer | Ariel Ben-Yehuda <ariel.byd@gmail.com> | 2017-03-09 00:05:36 +0200 |
| commit | 8bbbfec96f92790874f5d947a8fd21f4ed6fa1f8 (patch) | |
| tree | 937d05da780c6b52185f8a3c53d646fc70c2a6e1 | |
| parent | ee60afa09465cedfa08be04e59b6a8ccfd54685f (diff) | |
add some disk usage accounting
Try to figure out why we are out of free space
| -rw-r--r-- | .travis.yml | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 442d02aca78..2f12408242f 100644 --- a/.travis.yml +++ b/.travis.yml @@ -98,6 +98,12 @@ env: # AWS_SECRET_ACCESS_KEY=... - secure: "Pixhh0hXDqGCdOyLtGFjli3J2AtDWIpyb2btIrLe956nCBDRutRoMm6rv5DI9sFZN07Mms7VzNNvhc9wCW1y63JAm414d2Co7Ob8kWMZlz9l9t7ACHuktUiis8yr+S4Quq1Vqd6pqi7pf2J++UxC8R/uLeqVrubzr6+X7AbmEFE=" +before_script: + - > + echo "#### Disk usage before running script:"; + df -h; + du . | sort -nr | head -n100 + script: - > if [ "$ALLOW_PR" = "" ] && [ "$TRAVIS_BRANCH" != "auto" ]; then @@ -110,6 +116,18 @@ script: src/ci/docker/run.sh $IMAGE; fi +after_success: + - > + echo "#### Build successful; Disk usage after running script:"; + df -h; + du . | sort -nr | head -n100 + +after_failure: + - > + echo "#### Build failed; Disk usage after running script:"; + df -h; + du . | sort -nr | head -n100 + # Save tagged docker images we created and load them if they're available before_cache: - docker history -q rust-ci | |