From ac7b053f4b018e143ebf52383a0f7a3c38307cbd Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Tue, 31 Oct 2023 16:37:59 +0100
Subject: [PATCH 1/3] drop dep on vscoq

---
 CHANGELOG.md | 6 ++++++
 package.json | 3 +--
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 931473d..fda2237 100644
--- a/CHANGELOG.md
+++ b/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
diff --git a/package.json b/package.json
index 8da99b8..ec99caa 100644
--- a/package.json
+++ b/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": {
@@ -17,7 +17,6 @@
 	],
 	"extensionDependencies": [
 		"gares.elpi-lang",
-		"maximedenes.vscoq"
 	],
 	"readme": "https://github.com/LPCIC/coq-elpi-lang/README.md",
 	"bugs": "https://github.com/LPCIC/coq-elpi-lang/issues",

From e88445501e9983db67bbe465d931536d93f4307f Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Tue, 31 Oct 2023 16:40:49 +0100
Subject: [PATCH 2/3] ci

---
 .github/workflows/main.yaml    | 37 ++++++++++++++++++++++++++++
 .github/workflows/vcstore.yaml | 45 ++++++++++++++++++++++++++++++++++
 2 files changed, 82 insertions(+)
 create mode 100644 .github/workflows/main.yaml
 create mode 100644 .github/workflows/vcstore.yaml

diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
new file mode 100644
index 0000000..f1d2113
--- /dev/null
+++ b/.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
+
+      
\ No newline at end of file
diff --git a/.github/workflows/vcstore.yaml b/.github/workflows/vcstore.yaml
new file mode 100644
index 0000000..43e6463
--- /dev/null
+++ b/.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 }}

From 37fca7525017427ab55e24ac7c1f6598414d3c4a Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Thu, 2 Nov 2023 13:02:56 +0100
Subject: [PATCH 3/3] Update package.json

---
 package.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package.json b/package.json
index ec99caa..b2d265b 100644
--- a/package.json
+++ b/package.json
@@ -16,7 +16,7 @@
 		"elpi"
 	],
 	"extensionDependencies": [
-		"gares.elpi-lang",
+		"gares.elpi-lang"
 	],
 	"readme": "https://github.com/LPCIC/coq-elpi-lang/README.md",
 	"bugs": "https://github.com/LPCIC/coq-elpi-lang/issues",