ci: clean up CI logging, folding, add build time logging, and improve error handling (#14425)

This commit is contained in:
Igor Minar
2017-03-02 00:22:24 -08:00
committed by GitHub
parent 207298cd3a
commit a24e652f2b
24 changed files with 636 additions and 431 deletions

View File

@ -1,6 +1,6 @@
#!/usr/bin/env bash
set -e -o pipefail
set -u -e -o pipefail
#
# This script is used to compile and copy the contents for each of