Bump version for one-click deploy.

herbie-fp · Jan 7, 2024 · f6ca24f · f6ca24f
1 parent 4bf10b8
commit f6ca24f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/package.json b/package.json
@@ -3,7 +3,7 @@
   "displayName": "Odyssey",
   "description": "An interactive workbench for the Herbie floating-point tool https://github.com/herbie-fp/herbie",
   "icon": "images/odyssey-icon.png",
-  "version": "1.0.0",
+  "version": "1.0.2",
   "repository": "https://github.com/herbie-fp/herbie-vscode",
   "publisher": "herbie-fp",
   "engines": {
@@ -22,6 +22,7 @@
     ]
   },
   "scripts": {
+    "publish": "vsce publish",
     "vscode:prepublish": "npm run package",
     "compile": "webpack",
     "watch": "webpack --watch",