diff options
Diffstat (limited to 'src/infrastructure/ci/git-post-receive.sh')
| -rwxr-xr-x | src/infrastructure/ci/git-post-receive.sh | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/infrastructure/ci/git-post-receive.sh b/src/infrastructure/ci/git-post-receive.sh index 68d4da2..ab8c9d5 100755 --- a/src/infrastructure/ci/git-post-receive.sh +++ b/src/infrastructure/ci/git-post-receive.sh @@ -33,6 +33,10 @@ for n in $(seq 0 $((GIT_PUSH_OPTION_COUNT - 1))); do done +epoch() { + awk 'BEGIN { srand(); print(srand()); }' +} + now() { date '+%Y-%m-%dT%H:%M:%S%:z' } @@ -82,7 +86,7 @@ mkdtemp() { cat <<-EOF | info Starting CI job at: $(now) EOF - START="$(date +%s)" + START="$(epoch)" duration() { if [ "$RUN_DURATION" -gt 60 ]; then @@ -98,7 +102,7 @@ mkdtemp() { finish() { STATUS="$?" - END="$(date +%s)" + END="$(epoch)" RUN_DURATION=$((END - START)) cat <<-EOF | info Finishing CI job at: $(now) |