Update post_release.sh script to update latest runtime badges correctly

ndsev · Jul 19, 2024 · d9fe7bd · d9fe7bd
1 parent e46ea2c
commit d9fe7bd
Showing 1 changed file with 4 additions and 4 deletions.
diff --git 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