release: bump mod to 0.1.3; skip the CI release build when the release already exists

.github/workflows/release.yml

@@ -13,7 +13,23 @@ permissions:
   contents: write
 
 jobs:
+  # A release made by hand through the API must not trigger a second build.
+  check:
+    runs-on: ubuntu-latest
+    outputs:
+      exists: ${{ steps.probe.outputs.exists }}
+    steps:
+      - id: probe
+        env:
+          API: ${{ github.server_url }}/api/v1/repos/${{ github.repository }}
+          TAG: ${{ github.ref_name }}
+        run: |
+          code="$(curl -s -o /dev/null -w '%{http_code}' "$API/releases/tags/$TAG" || true)"
+          if [ "$code" = "200" ]; then echo "exists=true" >>"$GITHUB_OUTPUT"; echo "Release $TAG already published, nothing to do."; else echo "exists=false" >>"$GITHUB_OUTPUT"; fi
+
   release:
+    needs: check
+    if: needs.check.outputs.exists != 'true'
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4

mod/gradle.properties

@@ -5,7 +5,7 @@ org.gradle.jvmargs=-Xmx2G
 minecraft_version=26.2
 loader_version=0.19.4
 # Mod Properties
-mod_version=0.1.1
+mod_version=0.1.3
 maven_group=dev.loki
 archives_base_name=lovisual
 # Dependencies