From d9fe7bdaf905053fc2e0076b602e88a41f65121b Mon Sep 17 00:00:00 2001 From: Miki Rozloznik Date: Fri, 19 Jul 2024 14:09:41 +0200 Subject: [PATCH] Update post_release.sh script to update latest runtime badges correctly --- scripts/post_release.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/scripts/post_release.sh b/scripts/post_release.sh index 30b93ed20..03e7e9ed0 100755 --- a/scripts/post_release.sh +++ b/scripts/post_release.sh @@ -739,15 +739,15 @@ update_web_pages() fi echo "Done" + echo -ne "Creating Zserio runtime library GitHub badges..." + create_github_badge_jsons "${DEST_RUNTIME_DIR}" "${ZSERIO_VERSION}" + echo "Done" + echo -ne "Copying Zserio runtime libraries latest version..." mkdir -p "${DEST_LATEST_DIR}" cp -r "${DEST_RUNTIME_DIR}"/* "${DEST_LATEST_DIR}" echo "Done" - echo -ne "Creating Zserio runtime library GitHub badges..." - create_github_badge_jsons "${DEST_RUNTIME_DIR}" "${ZSERIO_VERSION}" - echo "Done" - echo echo "Committing changes to Zserio Web Pages branch." "${GIT}" -C "${ZSERIO_PROJECT_ROOT}" add -A