Merge pull request #3 from LPCIC/drop-dep

Drop dep

Author: gares

.github/workflows/main.yaml

@@ -0,0 +1,37 @@
+name: Node.js CI
+
+on:
+  push:
+    branches: [ master ]
+  pull_request:
+    branches: [ '**' ]
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+
+    strategy:
+      matrix:
+        node-version: [15.x, 16.x]
+
+    steps:
+      - uses: actions/checkout@v3
+
+      - name: Use Node.js ${{ matrix.node-version }}
+        uses: actions/setup-node@v3
+
+        with:
+          node-version: ${{ matrix.node-version }}
+
+      - run: npm install -g vsce
+      - run: npm install
+      - run: vsce package
+
+      - name: Save Artifact
+        uses: actions/upload-artifact@v2
+        with:
+          name: 'extension package ${{ matrix.node-version }}'
+          path: ./coq-elpi-lang-*.vsix
+
+      

.github/workflows/vcstore.yaml

@@ -0,0 +1,45 @@
+name: Visual Studio store upload
+
+on:
+  release:
+    types: [published]
+  workflow_dispatch:
+    inputs:
+      publish_vsx:
+        description: 'Upload to the main store'
+        required: true
+        default: false
+      publish_open_vsx:
+        description: 'Upload to the open vsx store'
+        required: true
+        default: false
+    
+jobs:
+  build:
+
+    runs-on: ubuntu-latest 
+
+    steps:
+    - name: Checkout
+      uses: actions/checkout@v3
+
+    - name: Install Node.js
+      uses: actions/setup-node@v3
+      with:
+        node-version: 16.x
+
+    - run: npm install -g vsce
+    - run: npm install
+    - run: vsce package
+
+    - name: Publish
+      if: success() && (startsWith(github.ref, 'refs/tags/') || ${{  github.event.inputs.publish_vsx }})
+      run: npm run deploy
+      env:
+        VSCE_PAT: ${{ secrets.VSCE_PAT }}
+
+    - name: Publish to Open VSX Registry
+      if: success() && (startsWith(github.ref, 'refs/tags/') || ${{  github.event.inputs.publish_open_vsx }})
+      uses: HaaLeo/publish-vscode-extension@v1
+      with:
+        pat: ${{ secrets.OPEN_VSX_TOKEN }}

CHANGELOG.md

@@ -1,5 +1,11 @@
 # Change Log
 
+## 0.0.6
+
+- Drop dependency on maximedenes.vscoq since the extension works with both
+  maximedenes.vscoq and coq-community.vscoq1
+  
+
 ## 0.0.5
 
 - Fix minor glitches

package.json

@@ -2,7 +2,7 @@
 	"name": "coq-elpi-lang",
 	"displayName": "Coq Elpi lang",
 	"description": "Syntax highlighting for Coq and Elpi",
-	"version": "0.0.5",
+	"version": "0.0.6",
 	"publisher": "gares",
 	"license": "MIT",
 	"engines": {
@@ -16,8 +16,7 @@
 		"elpi"
 	],
 	"extensionDependencies": [
-		"gares.elpi-lang",
-		"maximedenes.vscoq"
+		"gares.elpi-lang"
 	],
 	"readme": "https://github.com/LPCIC/coq-elpi-lang/README.md",
 	"bugs": "https://github.com/LPCIC/coq-elpi-lang/issues",