ci: publish from the release workflow

Author: dnlblasco

.github/workflows/release.yml

@@ -70,3 +70,28 @@ jobs:
         env:
           GH_TOKEN: ${{ github.token }}
         run: gh release create "v${{ steps.version.outputs.revision }}" --title "Mawu ${{ steps.version.outputs.revision }}" --generate-notes
+
+  # A tag pushed with GITHUB_TOKEN does not start another workflow, so the
+  # release publishes rather than waiting for publish.yml to notice the tag.
+  publish:
+    name: Publish to repo.blueva.net
+    needs: release
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v7
+        with:
+          ref: v${{ needs.release.outputs.revision }}
+      - name: Set up JDK 17
+        uses: actions/setup-java@v6
+        with:
+          distribution: temurin
+          java-version: 17
+      - name: Set up Gradle
+        uses: gradle/actions/setup-gradle@v6
+      - name: Publish the plugin and the runtime
+        run: ./gradlew publishAllPublicationsToBluevaRepoRepository --no-daemon --stacktrace
+        env:
+          RELEASE_VERSION: ${{ needs.release.outputs.revision }}
+          BLUEVA_REPO_USERNAME: ${{ secrets.BLUEVA_REPO_USERNAME }}
+          BLUEVA_REPO_SECRET: ${{ secrets.BLUEVA_REPO_SECRET }}