Merge pull request #1153 from rocq-prover/release-2.3.1

Release 2.3.1

Author: gares

.github/workflows/publish-server.yml

@@ -53,7 +53,7 @@ jobs:
         cd language-server
         git config --global user.name vscoqbot
         git config --global user.email vscoqbot@inria.fr
-        opam publish --no-confirmation --no-browser -v $VERSION https://github.com/rocq-prover/vsrocq/releases/download/$VERSION_SLUG/vsrocq-language-server-$VERSION.tar.gz vsrocq-language-server.opam
+        opam publish --no-confirmation --no-browser -v $VERSION https://github.com/rocq-prover/vsrocq/releases/download/$VERSION_SLUG/vsrocq-language-server-$VERSION.tar.gz vsrocq-language-server.opam vscoq-language-server.opam
 
     - name: Publish prerelease on coq/opam
       if: ${{ inputs.prerelease }}
@@ -64,4 +64,4 @@ jobs:
         cd language-server
         git config --global user.name vscoqbot
         git config --global user.email vscoqbot@inria.fr
-        opam publish --no-confirmation --no-browser --packages-directory=extra-dev/packages --repo=rocq-prover/opam -v $VERSION https://github.com/rocq-prover/vsrocq/releases/download/$VERSION_SLUG/vsrocq-language-server-$VERSION.tar.gz vsrocq-language-server.opam
+        opam publish --no-confirmation --no-browser --packages-directory=extra-dev/packages --repo=rocq-prover/opam -v $VERSION https://github.com/rocq-prover/vsrocq/releases/download/$VERSION_SLUG/vsrocq-language-server-$VERSION.tar.gz vsrocq-language-server.opam vscoq-language-server.opam

client/package.json

@@ -4,7 +4,7 @@
   "description": "VsRocq is an extension for Visual Studio Code with support for the Rocq Prover",
   "publisher": "rocq-prover",
   "license": "MIT",
-  "version": "2.3.0",
+  "version": "2.3.1",
   "repository": {
     "type": "git",
     "url": "https://github.com/rocq-prover/vsrocq.git"

client/src/utilities/versioning.ts

@@ -53,7 +53,8 @@ const versionRequirements : VersionReq = {
     '2.2.4': '2.2.4',
     '2.2.5': '2.2.5',
     '2.2.6': '2.2.6',
-    '2.3.0': '2.3.0'
+    '2.3.0': '2.3.0',
+    '2.3.1': '2.3.0'
 };
 
 //We will add version ranges as we start releasing

flake.nix

@@ -21,7 +21,7 @@
       vscodeExtPublisher = "rocq-prover";
       vscodeExtName = "vsrocq";
       vscodeExtUniqueId = "rocq-prover.vsrocq";
-      vsrocq_version = "2.3.0";
+      vsrocq_version = "2.3.1";
       rocq = rocq-master.packages.${system};
     in rec {
       formatter = nixpkgs.legacyPackages.${system}.alejandra;

language-server/vsrocqtop/lspManager.ml

@@ -54,7 +54,7 @@ let conf_request_id = max_int
 
 let server_info = InitializeResult.create_serverInfo
   ~name:"vsrocq-language-server"
-  ~version:"2.3.0"
+  ~version:"2.3.1"
   ()
 
 type lsp_event =