bulk-checkin: zero-initialize hashfile_checkpoint

diff --git a/ci/print-test-failures.sh b/ci/print-test-failures.sh
index cf321b474df32a25946e38425fc552702f2f0ace..e688a26f0d61464c473fd7f0c7fce1a805269b2c 100755 (executable)
--- a/ci/print-test-failures.sh
+++ b/ci/print-test-failures.sh
@@ -41,6 +41,11 @@ do
                case "$CI_TYPE" in
                travis)
                        ;;
+               azure-pipelines)
+                       mkdir -p failed-test-artifacts
+                       mv "$trash_dir" failed-test-artifacts
+                       continue
+                       ;;
                *)
                        echo "Unhandled CI type: $CI_TYPE" >&2
                        exit 1