Skip to content

Commit

Permalink
Merge pull request #720 from coq-community/bump-version
Browse files Browse the repository at this point in the history 
Prepare release 2.1.0
  • Loading branch information
@rtetley
rtetley authored Feb 12, 2024
2 parents e5e7b63 + a668044 commit 902c39a
Show file tree
Hide file tree
Showing 4 changed files with 8 additions and 6 deletions.
2 changes: 1 addition & 1 deletion client/package.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
"description": "VsCoq is an extension for Visual Studio Code with support for the Coq Proof Assistant",
"publisher": "maximedenes",
"license": "MIT",
"version": "2.0.3",
"version": "2.1.0",
"repository": {
"type": "git",
"url": "https://github.com/coq-community/vscoq.git"
Expand Down
3 changes: 2 additions & 1 deletion client/src/utilities/versioning.ts
View file
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,8 @@ const versionRequirements : VersionReq = {
'2.0.0': '2.0.0',

Check warning on line 32 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / dev-setup-opam (ubuntu-latest, 4.13.x) 

Object Literal Property name `2.0.0` must match one of the following formats: camelCase

Check warning on line 32 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-opam (ubuntu-latest, 4.13.x, 8.19+rc1) 

Object Literal Property name `2.0.0` must match one of the following formats: camelCase

Check warning on line 32 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-opam (ubuntu-latest, 4.13.x, dev) 

Object Literal Property name `2.0.0` must match one of the following formats: camelCase

Check warning on line 32 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-opam (ubuntu-latest, 4.13.x, 8.18.0) 

Object Literal Property name `2.0.0` must match one of the following formats: camelCase

Check warning on line 32 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-windows 

Object Literal Property name `2.0.0` must match one of the following formats: camelCase

Check warning on line 32 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / dev-setup-opam (ubuntu-latest, 4.13.x) 

Object Literal Property name `2.0.0` must match one of the following formats: camelCase

Check warning on line 32 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-opam (ubuntu-latest, 4.13.x, dev) 

Object Literal Property name `2.0.0` must match one of the following formats: camelCase

Check warning on line 32 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-opam (ubuntu-latest, 4.13.x, 8.18.0) 

Object Literal Property name `2.0.0` must match one of the following formats: camelCase

Check warning on line 32 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-opam (ubuntu-latest, 4.13.x, 8.19+rc1) 

Object Literal Property name `2.0.0` must match one of the following formats: camelCase

Check warning on line 32 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-windows 

Object Literal Property name `2.0.0` must match one of the following formats: camelCase
'2.0.1': '2.0.0',

Check warning on line 33 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / dev-setup-opam (ubuntu-latest, 4.13.x) 

Object Literal Property name `2.0.1` must match one of the following formats: camelCase

Check warning on line 33 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-opam (ubuntu-latest, 4.13.x, 8.19+rc1) 

Object Literal Property name `2.0.1` must match one of the following formats: camelCase

Check warning on line 33 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-opam (ubuntu-latest, 4.13.x, dev) 

Object Literal Property name `2.0.1` must match one of the following formats: camelCase

Check warning on line 33 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-opam (ubuntu-latest, 4.13.x, 8.18.0) 

Object Literal Property name `2.0.1` must match one of the following formats: camelCase

Check warning on line 33 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-windows 

Object Literal Property name `2.0.1` must match one of the following formats: camelCase

Check warning on line 33 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / dev-setup-opam (ubuntu-latest, 4.13.x) 

Object Literal Property name `2.0.1` must match one of the following formats: camelCase

Check warning on line 33 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-opam (ubuntu-latest, 4.13.x, dev) 

Object Literal Property name `2.0.1` must match one of the following formats: camelCase

Check warning on line 33 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-opam (ubuntu-latest, 4.13.x, 8.18.0) 

Object Literal Property name `2.0.1` must match one of the following formats: camelCase

Check warning on line 33 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-opam (ubuntu-latest, 4.13.x, 8.19+rc1) 

Object Literal Property name `2.0.1` must match one of the following formats: camelCase

Check warning on line 33 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-windows 

Object Literal Property name `2.0.1` must match one of the following formats: camelCase
'2.0.2': '2.0.0',

Check warning on line 34 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / dev-setup-opam (ubuntu-latest, 4.13.x) 

Object Literal Property name `2.0.2` must match one of the following formats: camelCase

Check warning on line 34 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-opam (ubuntu-latest, 4.13.x, 8.19+rc1) 

Object Literal Property name `2.0.2` must match one of the following formats: camelCase

Check warning on line 34 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-opam (ubuntu-latest, 4.13.x, dev) 

Object Literal Property name `2.0.2` must match one of the following formats: camelCase

Check warning on line 34 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-opam (ubuntu-latest, 4.13.x, 8.18.0) 

Object Literal Property name `2.0.2` must match one of the following formats: camelCase

Check warning on line 34 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-windows 

Object Literal Property name `2.0.2` must match one of the following formats: camelCase

Check warning on line 34 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / dev-setup-opam (ubuntu-latest, 4.13.x) 

Object Literal Property name `2.0.2` must match one of the following formats: camelCase

Check warning on line 34 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-opam (ubuntu-latest, 4.13.x, dev) 

Object Literal Property name `2.0.2` must match one of the following formats: camelCase

Check warning on line 34 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-opam (ubuntu-latest, 4.13.x, 8.18.0) 

Object Literal Property name `2.0.2` must match one of the following formats: camelCase

Check warning on line 34 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-opam (ubuntu-latest, 4.13.x, 8.19+rc1) 

Object Literal Property name `2.0.2` must match one of the following formats: camelCase

Check warning on line 34 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-windows 

Object Literal Property name `2.0.2` must match one of the following formats: camelCase
'2.0.3': '2.0.3'
'2.0.3': '2.0.3',

Check warning on line 35 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / dev-setup-opam (ubuntu-latest, 4.13.x) 

Object Literal Property name `2.0.3` must match one of the following formats: camelCase

Check warning on line 35 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-opam (ubuntu-latest, 4.13.x, 8.19+rc1) 

Object Literal Property name `2.0.3` must match one of the following formats: camelCase

Check warning on line 35 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-opam (ubuntu-latest, 4.13.x, dev) 

Object Literal Property name `2.0.3` must match one of the following formats: camelCase

Check warning on line 35 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-opam (ubuntu-latest, 4.13.x, 8.18.0) 

Object Literal Property name `2.0.3` must match one of the following formats: camelCase

Check warning on line 35 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-windows 

Object Literal Property name `2.0.3` must match one of the following formats: camelCase

Check warning on line 35 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / dev-setup-opam (ubuntu-latest, 4.13.x) 

Object Literal Property name `2.0.3` must match one of the following formats: camelCase

Check warning on line 35 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-opam (ubuntu-latest, 4.13.x, dev) 

Object Literal Property name `2.0.3` must match one of the following formats: camelCase

Check warning on line 35 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-opam (ubuntu-latest, 4.13.x, 8.18.0) 

Object Literal Property name `2.0.3` must match one of the following formats: camelCase

Check warning on line 35 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-opam (ubuntu-latest, 4.13.x, 8.19+rc1) 

Object Literal Property name `2.0.3` must match one of the following formats: camelCase

Check warning on line 35 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-windows 

Object Literal Property name `2.0.3` must match one of the following formats: camelCase
'2.1.0': '2.0.3'

Check warning on line 36 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / dev-setup-opam (ubuntu-latest, 4.13.x) 

Object Literal Property name `2.1.0` must match one of the following formats: camelCase

Check warning on line 36 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-opam (ubuntu-latest, 4.13.x, 8.19+rc1) 

Object Literal Property name `2.1.0` must match one of the following formats: camelCase

Check warning on line 36 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-opam (ubuntu-latest, 4.13.x, dev) 

Object Literal Property name `2.1.0` must match one of the following formats: camelCase

Check warning on line 36 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-opam (ubuntu-latest, 4.13.x, 8.18.0) 

Object Literal Property name `2.1.0` must match one of the following formats: camelCase

Check warning on line 36 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-windows 

Object Literal Property name `2.1.0` must match one of the following formats: camelCase

Check warning on line 36 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / dev-setup-opam (ubuntu-latest, 4.13.x) 

Object Literal Property name `2.1.0` must match one of the following formats: camelCase

Check warning on line 36 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-opam (ubuntu-latest, 4.13.x, dev) 

Object Literal Property name `2.1.0` must match one of the following formats: camelCase

Check warning on line 36 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-opam (ubuntu-latest, 4.13.x, 8.18.0) 

Object Literal Property name `2.1.0` must match one of the following formats: camelCase

Check warning on line 36 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-opam (ubuntu-latest, 4.13.x, 8.19+rc1) 

Object Literal Property name `2.1.0` must match one of the following formats: camelCase

Check warning on line 36 in client/src/utilities/versioning.ts

View workflow job for this annotation

GitHub Actions / install-windows 

Object Literal Property name `2.1.0` must match one of the following formats: camelCase
};

//We will add version ranges as we start releasing
Expand Down
7 changes: 4 additions & 3 deletions flake.nix
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,7 @@
outputs = { self, nixpkgs, flake-utils, coq-master }:
flake-utils.lib.eachDefaultSystem (system:

let vscoq_version = "2.1.0"; in
let coq = coq-master.defaultPackage.${system}; in
rec {

Expand All @@ -25,7 +26,7 @@
ocamlPackages.buildDunePackage {
duneVersion = "3";
pname = "vscoq-language-server";
version = "2.0.3";
version = vscoq_version;
src = ./language-server;
buildInputs = [
coq_8_18
Expand Down Expand Up @@ -59,7 +60,7 @@
ocamlPackages.buildDunePackage {
duneVersion = "3";
pname = "vscoq-language-server";
version = "2.0.3";
version = vscoq_version;
src = ./language-server;
buildInputs = [
coq_8_19
Expand Down Expand Up @@ -93,7 +94,7 @@
ocamlPackages.buildDunePackage {
duneVersion = "3";
pname = "vscoq-language-server";
version = "2.0.3";
version = vscoq_version;
src = ./language-server;
buildInputs = [
coq
Expand Down
2 changes: 1 addition & 1 deletion language-server/vscoqtop/lspManager.ml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -44,7 +44,7 @@ let conf_request_id = max_int

let server_info = InitializeResult.create_serverInfo
~name:"vscoq-language-server"
~version:"2.0.3"
~version:"2.1.0"
()

type lsp_event =
Expand Down

0 comments on commit 902c39a

Please sign in to comment.