Record some details to help with possible bad clocks

This commit is contained in:
Aidan Hobson Sayers 2017-06-28 23:05:29 +01:00
parent b689e46c62
commit 984e76468b

View file

@ -179,8 +179,14 @@ before_script:
fi
fi
# Log time information from this machine and an external machine for insight into possible
# clock drift. Timezones don't matter since relative deltas give all the necessary info.
script:
- >
date && curl -s --head https://google.com | grep ^Date: | sed 's/Date: //g'
- stamp sh -x -c "$RUN_SCRIPT"
- >
date && curl -s --head https://google.com | grep ^Date: | sed 's/Date: //g'
after_success:
- >