release: Bump package version

ProVerif · Nov 15, 2023 · 9a0c3bd · 9a0c3bd
1 parent 631aafb
commit 9a0c3bd
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/CONTRIBUTE.md b/CONTRIBUTE.md
@@ -48,7 +48,7 @@ Lastly, the language server waits for the user to click on an identifier, and th
 ## Publish
 
 Process:
-- Bump versions in affected `package.json` (including `server` and `client`).
+- Bump versions in affected `package.json` (optionally in `server` and `client` too), and run `npm install`.
 - Commit and push to GitHub.
 - Create a tag on GitHub.
 - [automatic] CI publishes extension to https://marketplace.visualstudio.com/vscode and https://open-vsx.org/

diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -5,7 +5,7 @@
 	"author": "ProVerif",
 	"icon": "img/icon.png",
 	"license": "MIT",
-	"version": "1.2.2",
+	"version": "1.2.3",
 	"repository": {
 		"type": "git",
 		"url": "https://github.com/ProVerif/vscode-proverif-language-service"