VSCode marketplace does not support pre-release versions.

runtimeverification · May 27, 2024 · 650a188 · 650a188
1 parent 7a9e518
commit 650a188
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 7 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,6 +2,6 @@
 
 All notable changes to the "Simbolik VSCode" extension will be documented in this file.
 
-## [2.0.0-beta] - 2024-05-27
+## [2.0.0] - 2024-05-27
 
 - Public Beta release of the extension
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -11,7 +11,7 @@
   },
   "publisher": "runtimeverification",
   "description": "Advanced Solidity and EVM Debugger",
-  "version": "2.0.0-beta",
+  "version": "2.0.0",
   "engines": {
     "vscode": "^1.79.0"
   },