readd patch plugin again

ls1intum · Jul 21, 2024 · 34a9c96 · 34a9c96
1 parent be22678
commit 34a9c96
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -50,6 +50,12 @@ jobs:
             echo EOF
           } >> $GITHUB_OUTPUT
 
+      - name: Patch Plugin XML
+        env:
+          PLUGIN_VERSION: ${{ github.event.release.tag_name }}
+          CHANGELOG: ${{ github.event.release.body }}
+        run: ./gradlew patchPluginXml
+
       # Publish the plugin to JetBrains Marketplace
       - name: Publish Plugin
         env: