fix(release): publish v0.1.8 safely (#18)

Signed-off-by: younes-io <git@younes.io>

Author: younes-io

.claude-plugin/marketplace.json

@@ -5,13 +5,13 @@
   },
   "metadata": {
     "description": "Portable TLA+ agent skills for Claude Code and other Agent Skills clients.",
-    "version": "0.1.7"
+    "version": "0.1.8"
   },
   "plugins": [
     {
       "name": "tla-workbenches",
       "description": "TLA+ skills for checking specs and writing proofs.",
-      "version": "0.1.7",
+      "version": "0.1.8",
       "author": {
         "name": "younes-io"
       },

.github/workflows/release-on-version-change.yml

@@ -112,9 +112,8 @@ jobs:
           git fetch --tags --force origin
 
           if git ls-remote --tags origin "refs/tags/${tag_name}" | grep -q .; then
-            echo "Tag already exists on origin: ${tag_name}; skipping release publish."
-            echo "created=false" >> "$GITHUB_OUTPUT"
-            exit 0
+            echo "Tag already exists on origin: ${tag_name}; refusing to overwrite an existing release." >&2
+            exit 1
           fi
 
           git tag -a "${tag_name}" -m "Release ${tag_name}"

VERSION

@@ -1 +1 @@
-0.1.7
+0.1.8

plugins/tla-workbenches/.claude-plugin/plugin.json

@@ -1,6 +1,6 @@
 {
   "name": "tla-workbenches",
-  "version": "0.1.7",
+  "version": "0.1.8",
   "description": "TLA+ skills for checking specs and writing proofs.",
   "author": {
     "name": "younes-io"

plugins/tla-workbenches/.codex-plugin/plugin.json

@@ -1,6 +1,6 @@
 {
   "name": "tla-workbenches",
-  "version": "0.1.7",
+  "version": "0.1.8",
   "description": "TLA+ skills for checking specs and writing proofs.",
   "author": {
     "name": "younes-io",