Skip to content

Commit

Permalink
Merge pull request #742 from coq-community/bump-version-2-1-2
Browse files Browse the repository at this point in the history 
Bump version in preparation for release
  • Loading branch information
@rtetley
rtetley authored Feb 20, 2024
2 parents 367317b + fa55fc0 commit e28d8d1
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.1",
"version": "2.1.2",
"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 @@ -34,7 +34,8 @@ const versionRequirements : VersionReq = {
'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 / 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.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-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, 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
'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 / 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.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-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, 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
'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 / 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.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-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, 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
'2.1.1': '2.1.1'
'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 / 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.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-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 / 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
'2.1.2': '2.1.2',

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

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

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

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

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

View workflow job for this annotation

GitHub Actions / install-windows 

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

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

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

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

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

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

View workflow job for this annotation

GitHub Actions / install-windows 

Object Literal Property name `2.1.2` 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.1"; in
let vscoq_version = "2.1.2"; 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.1"
~version:"2.1.2"
()

type lsp_event =
Expand Down

0 comments on commit e28d8d1

Please sign in to comment.