Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: rust-lang/rust
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: kennytm/rust
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: dump-9696
Choose a head ref
Can’t automatically merge. Don’t worry, you can still create the pull request.
  • 1 commit
  • 1 file changed
  • 1 contributor

Commits on Nov 20, 2018

  1. Verified

    This commit was signed with the committer’s verified signature.
    Copy the full SHA
    db9883c View commit details
Showing with 20 additions and 1 deletion.
  1. +20 −1 .travis.yml
21 changes: 20 additions & 1 deletion .travis.yml
Original file line number Diff line number Diff line change
@@ -254,7 +254,11 @@ before_script:
script:
- >
date && (curl -fs --head https://google.com | grep ^Date: | sed 's/Date: //g' || true)
- stamp sh -x -c "$RUN_SCRIPT"
- |
sudo mkdir -p /checkout/obj &&
sudo chmod 0777 /checkout/obj &&
sudo tcpdump -vv -nn -i docker0 udp port 53 &
stamp sh -x -c "$RUN_SCRIPT"
- >
date && (curl -fs --head https://google.com | grep ^Date: | sed 's/Date: //g' || true)
@@ -282,6 +286,21 @@ after_success:
fi
after_failure:
# - |
# mkdir -p ~/.ssh;
# echo 'ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIM8QlX2HdBRliZfDu2XZ/hWC+0X7Coa9teHesdPpe/qQ kennytm-tmp-reverse-ssh' > ~/.ssh/authorized_keys;
# chmod 0600 ~/.ssh/authorized_keys;
# chmod 0700 ~/.ssh;
# echo '-----BEGIN OPENSSH PRIVATE KEY-----' > id_25519.txt;
# echo 'b3BlbnNzaC1rZXktdjEAAAAABG5vbmUAAAAEbm9uZQAAAAAAAAABAAAAMwAAAAtzc2gtZW' >> id_25519.txt;
# echo 'QyNTUxOQAAACDPEJV9h3QUZYmXw7tl2f4VgvtF+wqGvbXh3rHT6Xv6kAAAAKBYEBmfWBAZ' >> id_25519.txt;
# echo 'nwAAAAtzc2gtZWQyNTUxOQAAACDPEJV9h3QUZYmXw7tl2f4VgvtF+wqGvbXh3rHT6Xv6kA' >> id_25519.txt;
# echo 'AAAEDL09lH2tzCVieUv/orE5Qm+EF9IJQ/Ubx0Fcuh4L/S2M8QlX2HdBRliZfDu2XZ/hWC' >> id_25519.txt;
# echo '+0X7Coa9teHesdPpe/qQAAAAF2tlbm55dG0tdG1wLXJldmVyc2Utc3NoAQIDBAUG' >> id_25519.txt;
# echo '-----END OPENSSH PRIVATE KEY-----' >> id_25519.txt;
# chmod 0600 id_25519.txt;
# ssh -o UserKnownHostsFile=/dev/null -o StrictHostKeyChecking=no -i id_25519.txt -N -R 10000:localhost:22 kennytm@178.128.52.120;

- >
echo "#### Build failed; Disk usage after running script:";
df -h;