use Pat in pipeline to publish extension

.github/workflows/main.yml

@@ -39,25 +39,22 @@ jobs:
       fail-fast: false
     runs-on: ubuntu-latest
     steps:
-      # - name: checking out lambdapi repo ...
-      #   uses: actions/checkout@v4
-      # - name: Use Node.js
-      #   uses: actions/setup-node@v4
-      #   with:
-      #     node-version: latest
+      - name: checking out lambdapi repo ...
+        uses: actions/checkout@v4
+      - name: Use Node.js
+        uses: actions/setup-node@v4
+        with:
+          node-version: latest
       - name: generate-vscode-extension
-        env:
-          pat: ${{secrets.VSCODE_PAT}}
         run: |
-          echo "hello"
-          echo $pat
-          echo $VSCODE_PAT
-          echo "bye bye"
-      #     npm install -g @types/vscode
-      #     npm install -g vsce 
-      #     make build-vscode-extension
-      # - name: publish vscode extension
-      #   uses: actions/upload-artifact@v4
-      #   with: 
-      #     name: assets-for-download
-      #     path: editors/vscode/extensionFolder
+          npm install -g @types/vscode
+          npm install -g vsce 
+          make build-vscode-extension
+          make publish-vscode-extension
+        env:
+          PAT: ${{secrets.VSCODE_PAT}}
+      - name: publish vscode extension
+        uses: actions/upload-artifact@v4
+        with: 
+          name: assets-for-download
+          path: editors/vscode/extensionFolder

Makefile

@@ -170,3 +170,7 @@ uninstall_vim_mode:
 .PHONY: build-vscode-extension
 build-vscode-extension:
 	cd editors/vscode && make && mkdir extensionFolder && vsce package -o extensionFolder
+
+.PHONY: publish-vscode-extension
+publish-vscode-extension:
+	cd editors/vscode && make && vsce publish -p ${PAT}

editors/vscode/package.json

@@ -1,15 +1,12 @@
 {
-  "name": "lambdapi",
-  "displayName": "lambdapi",
-  "description": "VSCode extension for the Lambdapi proof assistant",
+  "name": "abdelghaniExtension",
+  "displayName": "abdelghani",
+  "description": "VSCode extension for the Abdelghani assistant",
   "contributors": [
-    "Emilio Jesús Gallego Arias <[email protected]>",
-    "Houda Mouzoun <[email protected]>",
-    "François Lefoulon <[email protected]>",
-    "Ashish Barnawal <[email protected]>"
+    "Abdelghani Alidra"
   ],
   "version": "0.2.1",
-  "publisher": "Deducteam",
+  "publisher": "alidrandco",
   "engines": {
     "vscode": "^1.82.0"
   },
@@ -20,13 +17,12 @@
     "interactive theorem proving",
     "dependent types",
     "rewriting",
-    "dedukti",
-    "lambdapi"
+    "Abdelghani"
   ],
-  "homepage": "https://github.com/Deducteam/lambdapi",
+  "homepage": "https://github.com/Alidra",
   "repository": {
     "type": "git",
-    "url": "https://github.com/Deducteam/lambdapi"
+    "url": "https://github.com/alidra"
   },
   "activationEvents": [
     "onLanguage:lp"