From 773d92b46c845499b40dbb0647e6052ba8b51830 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Mon, 13 May 2024 21:40:07 +0800 Subject: [PATCH] wrap the haddock uploading with date output to time it --- automated/build.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/automated/build.sh b/automated/build.sh index 8d695c89..5d430bdc 100755 --- a/automated/build.sh +++ b/automated/build.sh @@ -155,7 +155,9 @@ docker run $ARGS_UPLOAD $IMAGE /bin/bash -c "exec curator check-target-available # # * Upload the docs to S3 # * Upload the new snapshot .yaml file to the appropriate Github repo, also upload its constraints +date docker run $ARGS_UPLOAD $IMAGE /bin/bash -c "curator upload-docs --target $TARGET ${DOCS_BUCKET:+--bucket $DOCS_BUCKET} && curator upload-github --target $TARGET" +date # fixed in https://github.com/commercialhaskell/curator/pull/24 docker run $ARGS_UPLOAD $IMAGE /bin/bash -c "exec curator hackage-distro --target $TARGET"