diff options
Diffstat (limited to '09-update_baseline/console.log')
| -rw-r--r-- | 09-update_baseline/console.log | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/09-update_baseline/console.log b/09-update_baseline/console.log index a6f0d97..8ea5a90 100644 --- a/09-update_baseline/console.log +++ b/09-update_baseline/console.log @@ -1,9 +1,9 @@ 00:00:00 ++ update_baseline -00:00:01 ++ set -euf -o pipefail -00:00:01 ++ '[' xonsuccess = xignore ']' -00:00:01 ++ local old_commit -00:00:01 +++ git -C base-artifacts rev-parse --verify HEAD~100 -00:00:02 +++ true -00:00:02 ++ old_commit= -00:00:02 ++ '[' x '!=' x ']' -00:00:02 ++ rsync -aI --del --exclude /.git artifacts/ base-artifacts/ +00:00:00 ++ set -euf -o pipefail +00:00:00 ++ '[' xonsuccess = xignore ']' +00:00:00 ++ local old_commit +00:00:00 +++ git -C base-artifacts rev-parse --verify HEAD~100 +00:00:00 +++ true +00:00:00 ++ old_commit= +00:00:00 ++ '[' x '!=' x ']' +00:00:00 ++ rsync -aI --del --exclude /.git artifacts/ base-artifacts/ |