Merge pull request #552 from coq-community/prepare-deploy

Prepare publication
coq · Aug 4, 2023 · 9c2a369 · 9c2a369
2 parents 074c36b + bb15401
commit 9c2a369
Show file tree

Hide file tree

Showing 7 changed files with 73 additions and 37 deletions.
diff --git a/.github/workflows/cd.yml b/.github/workflows/cd.yml
@@ -5,10 +5,7 @@ on:
 
 jobs:
   build-extension:
-    strategy:
-      matrix:
-        os: [macos-latest, ubuntu-latest, windows-latest]
-    runs-on: ${{ matrix.os }}
+    runs-on: ubuntu-latest
     steps:
     - name: Checkout
       uses: actions/checkout@v3

diff --git a/client/package.json b/client/package.json
@@ -2,9 +2,13 @@
   "name": "vscoq",
   "displayName": "VsCoq",
   "description": "VsCoq is an extension for Visual Studio Code with support for the Coq Proof Assistant",
-  "publisher": "coq-community",
+  "publisher": "maximedenes",
   "license": "MIT",
-  "version": "2.0.0",
+  "version": "2.0.0-beta1",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/coq-community/vscoq.git"
+  },
   "engines": {
     "vscode": "^1.74.0"
   },
@@ -253,46 +257,46 @@
         "command": "extension.coq.documentState",
         "title": "Get Document State",
         "category": "Coq"
-      }, 
+      },
       {
         "command": "extension.coq.addQueryTab",
         "title": "Add Tab",
         "category": "Coq",
         "icon": "$(add)"
       },
       {
-        "command": "extension.coq.collapseAllQueries", 
-        "title": "Collapse All", 
-        "category": "Coq", 
+        "command": "extension.coq.collapseAllQueries",
+        "title": "Collapse All",
+        "category": "Coq",
         "icon": "$(collapse-all)"
       },
       {
-        "command": "extension.coq.expandAllQueries", 
-        "title": "Expand All", 
-        "category": "Coq", 
+        "command": "extension.coq.expandAllQueries",
+        "title": "Expand All",
+        "category": "Coq",
         "icon": "$(expand-all)"
       }
     ],
     "menus": {
-        "view/title": [
-            {
-                "command": "extension.coq.addQueryTab",
-                "group": "navigation",
-                "when": "view == vscoq.search"
-            }, 
-            {
-                "command": "extension.coq.collapseAllQueries", 
-                "group": "navigation", 
-                "when": "view == vscoq.search && vscoq.expandedQueries"
-            }, 
-            {
-                "command": "extension.coq.expandAllQueries", 
-                "group": "navigation", 
-                "when": "view == vscoq.search && !vscoq.expandedQueries"
-            }
-        ]
+      "view/title": [
+        {
+          "command": "extension.coq.addQueryTab",
+          "group": "navigation",
+          "when": "view == vscoq.search"
+        },
+        {
+          "command": "extension.coq.collapseAllQueries",
+          "group": "navigation",
+          "when": "view == vscoq.search && vscoq.expandedQueries"
+        },
+        {
+          "command": "extension.coq.expandAllQueries",
+          "group": "navigation",
+          "when": "view == vscoq.search && !vscoq.expandedQueries"
+        }
+      ]
     },
-    "keybindings":[
+    "keybindings": [
       {
         "key": "alt+down",
         "mac": "ctrl+alt+down",
@@ -637,7 +641,7 @@
     "build:search-ui": "cd search-ui && yarn run build",
     "build:dev:search-ui": "cd search-ui && yarn run build:dev",
     "vscode:prepublish": "yarn run package",
-    "deploy": "vsce publish --yarn",
+    "deploy": "cp ../LICENSE . && cp ../README.md . && vsce publish --pre-release --yarn",
     "compile": "webpack",
     "watch": "webpack --watch",
     "package": "yarn run install:all && yarn run build:all && webpack --mode production --devtool hidden-source-map",
@@ -664,6 +668,7 @@
     "tmp-promise": "^3.0.3",
     "ts-loader": "^9.4.1",
     "typescript": "^4.9.3",
+    "vsce": "^2.15.0",
     "webpack": "^5.76.0",
     "webpack-cli": "^5.0.0"
   }

diff --git a/client/src/test/suite/extension.test.ts b/client/src/test/suite/extension.test.ts
@@ -10,7 +10,7 @@ suite('Should get diagnostics', function () {
 
 	test('Diagnoses an undefined ref error', async () => {
 
-		const ext = vscode.extensions.getExtension('coq-community.vscoq')!;
+		const ext = vscode.extensions.getExtension('maximedenes.vscoq')!;
 		await ext.activate();
 
         const doc = await common.openTextFile('basic.v');
@@ -32,7 +32,7 @@ suite('Should get diagnostics', function () {
 
 	test('Opens two files and gets feedback', async () => {
 
-		const ext = vscode.extensions.getExtension('coq-community.vscoq')!;
+		const ext = vscode.extensions.getExtension('maximedenes.vscoq')!;
 		await ext.activate();
 
         const doc1 = await common.openTextFile('basic.v');

diff --git a/client/src/test/suite/feedback.test.ts b/client/src/test/suite/feedback.test.ts
@@ -10,7 +10,7 @@ suite('Should get diagnostics in the appropriate tab', function () {
 
 	test('Checking proofs in master', async () => {
 
-		const ext = vscode.extensions.getExtension('coq-community.vscoq')!;
+		const ext = vscode.extensions.getExtension('maximedenes.vscoq')!;
 		await ext.activate();
 
         const doc1 = await common.openTextFile('basic.v');

diff --git a/client/src/test/suite/feedback_delegation.test.ts b/client/src/test/suite/feedback_delegation.test.ts
@@ -10,7 +10,7 @@ suite('Should get diagnostics in the appropriate tab', function () {
 
 	test('Delegating proofs', async () => {
 
-		const ext = vscode.extensions.getExtension('coq-community.vscoq')!;
+		const ext = vscode.extensions.getExtension('maximedenes.vscoq')!;
 		await ext.activate();
 
 		vscode.workspace.getConfiguration().update('vscoq.proof.delegation','Delegate');

diff --git a/client/src/test/suite/feedback_skip.test.ts b/client/src/test/suite/feedback_skip.test.ts
@@ -10,7 +10,7 @@ suite('Should get diagnostics in the appropriate tab', function () {
 
 	test('Skipping proofs', async () => {
 
-		const ext = vscode.extensions.getExtension('coq-community.vscoq')!;
+		const ext = vscode.extensions.getExtension('maximedenes.vscoq')!;
 		await ext.activate();
 
 		vscode.workspace.getConfiguration().update('vscoq.proof.delegation','Skip');

diff --git a/client/yarn.lock b/client/yarn.lock
@@ -2722,6 +2722,32 @@ util-deprecate@^1.0.1, util-deprecate@~1.0.1:
   resolved "https://registry.yarnpkg.com/util-deprecate/-/util-deprecate-1.0.2.tgz#450d4dc9fa70de732762fbd2d4a28981419a0ccf"
   integrity sha512-EPD5q1uXyFxJpCrLnCc1nHnq3gOa6DZBocAIiI2TaSCA7VCJ1UJDMagCzIkXNsUYfD1daK//LTEQ8xiIbrHtcw==
 
+vsce@^2.15.0:
+  version "2.15.0"
+  resolved "https://registry.yarnpkg.com/vsce/-/vsce-2.15.0.tgz#4a992e78532092a34a755143c6b6c2cabcb7d729"
+  integrity sha512-P8E9LAZvBCQnoGoizw65JfGvyMqNGlHdlUXD1VAuxtvYAaHBKLBdKPnpy60XKVDAkQCfmMu53g+gq9FM+ydepw==
+  dependencies:
+    azure-devops-node-api "^11.0.1"
+    chalk "^2.4.2"
+    cheerio "^1.0.0-rc.9"
+    commander "^6.1.0"
+    glob "^7.0.6"
+    hosted-git-info "^4.0.2"
+    keytar "^7.7.0"
+    leven "^3.1.0"
+    markdown-it "^12.3.2"
+    mime "^1.3.4"
+    minimatch "^3.0.3"
+    parse-semver "^1.1.1"
+    read "^1.0.7"
+    semver "^5.1.0"
+    tmp "^0.2.1"
+    typed-rest-client "^1.8.4"
+    url-join "^4.0.1"
+    xml2js "^0.4.23"
+    yauzl "^2.3.1"
+    yazl "^2.2.2"
+
 vscode-jsonrpc@6.0.0:
   version "6.0.0"
   resolved "https://registry.yarnpkg.com/vscode-jsonrpc/-/vscode-jsonrpc-6.0.0.tgz#108bdb09b4400705176b957ceca9e0880e9b6d4e"
@@ -2855,6 +2881,14 @@ wrappy@1:
   resolved "https://registry.yarnpkg.com/wrappy/-/wrappy-1.0.2.tgz#b5243d8f3ec1aa35f1364605bc0d1036e30ab69f"
   integrity sha512-l4Sp/DRseor9wL6EvV2+TuQn63dMkPjZ/sp9XkghTEbV9KlPS1xUsZ3u7/IQO4wxtcFB4bgpQPRcR3QCvezPcQ==
 
+xml2js@^0.4.23:
+  version "0.4.23"
+  resolved "https://registry.yarnpkg.com/xml2js/-/xml2js-0.4.23.tgz#a0c69516752421eb2ac758ee4d4ccf58843eac66"
+  integrity sha512-ySPiMjM0+pLDftHgXY4By0uswI3SPKLDw/i3UXbnO8M/p28zqexCUoPmQFrYD+/1BzhGJSs2i1ERWKJAtiLrug==
+  dependencies:
+    sax ">=0.6.0"
+    xmlbuilder "~11.0.0"
+
 xml2js@^0.5.0:
   version "0.5.0"
   resolved "https://registry.yarnpkg.com/xml2js/-/xml2js-0.5.0.tgz#d9440631fbb2ed800203fad106f2724f62c493b7"