From ea88407592630d35a4c4ac3ec2674d2adf13a95a Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Mon, 13 May 2024 21:41:32 +0800 Subject: [PATCH] also time the haddock uploading --- automated/build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/automated/build.sh b/automated/build.sh index 5d430bdc..0b50be4d 100755 --- a/automated/build.sh +++ b/automated/build.sh @@ -156,7 +156,7 @@ 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" +time 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