CI: fix deletion of old rolling pre-releases

Signed-off-by: Andrew Helwer <[email protected]>
tlaplus · Dec 6, 2024 · c9734a1 · c9734a1
1 parent 8a5b58e
commit c9734a1
Showing 1 changed file with 10 additions and 5 deletions.
diff --git a/.github/workflows/rolling-prerelease.yml b/.github/workflows/rolling-prerelease.yml
@@ -62,9 +62,14 @@ jobs:
         ls -lh ${{ env.DUNE_BUILD_DIR }}
         cat ${{ env.DUNE_BUILD_DIR }}/tlapm-release-version
         ## Adapted from https://github.com/tlaplus/tlaplus repository
-        ## Crawl release id
-        DRAFT_RELEASE=$(curl -sS -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" https://api.github.com/repos/${{ github.repository }}/releases --header "Content-Type: application/json" | jq '.[]| select(.name=="${{ vars.ROLLING_PRERELEASE_GITHUB_NAME }}") | .id')
+        echo "Crawling rolling pre-release ID..."
+        DRAFT_RELEASE=$(curl -sS -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" "https://api.github.com/repos/${{ github.repository }}/releases" --header "Content-Type: application/json" | jq '.[]| select(.name=="${{ vars.ROLLING_PRERELEASE_GITHUB_NAME }}") | .id')
+        echo "Release ID: $DRAFT_RELEASE"
         ## Delete old assets and upload replacement assets (if delete fails we still try to upload the new asset)
-        ID=$(curl -sS -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" https://api.github.com/repos/${{ github.repository }}/releases/$DRAFT_RELEASE/assets --header "Content-Type: application/json"  | jq '.[]| select(.name == "$TLAPM_ZIP") | .id')
-        curl -sS -X DELETE -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" https://api.github.com/repos/${{ github.repository }}/releases/assets/$ID
-        curl -s -X POST -H "Content-Type: application/zip" -H "Authorization: token ${{secrets.GITHUB_TOKEN}}" https://uploads.github.com/repos/${{ github.repository }}/releases/$DRAFT_RELEASE/assets?name=$TLAPM_ZIP --upload-file ${{ env.DUNE_BUILD_DIR }}/$TLAPM_ZIP
+        ID=$(curl -sS -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" "https://api.github.com/repos/${{ github.repository }}/releases/$DRAFT_RELEASE/assets" --header "Content-Type: application/json"  | jq '.[]| select(.name == "$TLAPM_ZIP") | .id')
+        echo "Asset ID: $ID"
+        ASSET_ID_URL="https://api.github.com/repos/${{ github.repository }}/releases/assets/$ID"
+        echo "Deleting old release from $ASSET_ID_URL..."
+        curl -sS -X DELETE -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" "$ASSET_ID_URL"
+        echo "Uploading new release..."
+        curl -s -X POST -H "Content-Type: application/zip" -H "Authorization: token ${{secrets.GITHUB_TOKEN}}" "https://uploads.github.com/repos/${{ github.repository }}/releases/$DRAFT_RELEASE/assets?name=$TLAPM_ZIP" --upload-file "${{ env.DUNE_BUILD_DIR }}/$TLAPM_ZIP"