Skip to content

Commit

Permalink
Merge pull request #735 from coq-community/bump-version-2-1-1
Browse files Browse the repository at this point in the history 
Bump version in preparation for release 2.1.1
  • Loading branch information
@rtetley
rtetley authored Feb 19, 2024
2 parents 794b3b4 + 3b437c5 commit 6036251
Show file tree
Hide file tree
Showing 4 changed files with 5 additions and 4 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.1.0",
"version": "2.1.1",
"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 @@ -33,7 +33,8 @@ const versionRequirements : VersionReq = {
'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, 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.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 / 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.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.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, 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-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 / 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, 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.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 / 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.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.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, 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-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 / install-windows 

Object Literal Property name `2.0.2` must match one of the following formats: camelCase
'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, 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.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 / 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.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.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, 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-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 / install-windows 

Object Literal Property name `2.0.3` must match one of the following formats: camelCase
'2.1.0': '2.0.3'
'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, 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.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 / 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.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.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, 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-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 / install-windows 

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

Check warning on line 37 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.1` must match one of the following formats: camelCase

Check warning on line 37 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.1` must match one of the following formats: camelCase

Check warning on line 37 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.1` must match one of the following formats: camelCase

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

View workflow job for this annotation

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

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

Check warning on line 37 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.1` must match one of the following formats: camelCase

Check warning on line 37 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.1` must match one of the following formats: camelCase

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

View workflow job for this annotation

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

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

Check warning on line 37 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.1` must match one of the following formats: camelCase

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

View workflow job for this annotation

GitHub Actions / install-windows 

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

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

View workflow job for this annotation

GitHub Actions / install-windows 

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

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

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

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.1.0"
~version:"2.1.1"
()

type lsp_event =
Expand Down

0 comments on commit 6036251

Please sign in to comment.