Fixing issues around publishing the extension

Author: DavyLandman

.github/workflows/build.yaml

@@ -138,6 +138,8 @@ jobs:
     environment: ${{ startsWith(github.ref, 'refs/tags/v') && 'deployments' || '' }}
     permissions:
       id-token: write # only used for npm publishing
+      actions: read
+      contents: write
     runs-on: buildjet-2vcpu-ubuntu-2204
     steps:
       - uses: actions/checkout@v6
@@ -235,4 +237,4 @@ jobs:
       - name: publish to NPM
         if: startsWith(github.ref, 'refs/tags/v')
         working-directory: rascal-vscode-extension
-        run: npm publish --access=public
+        run: npm publish --provenance --access=public

rascal-vscode-extension/package.json

@@ -23,7 +23,7 @@
   "license": "BSD-2-Clause",
   "repository": {
     "type": "git",
-    "url": "https://github.com/usethesource/rascal-language-servers"
+    "url": "git+https://github.com/usethesource/rascal-language-servers.git"
   },
   "bugs": {
     "url": "https://github.com/usethesource/rascal-language-servers/issues"
@@ -72,8 +72,8 @@
           "when": "false"
         },
         {
-            "command": "rascalmpl.copySourceLocation",
-            "when": "false"
+          "command": "rascalmpl.copySourceLocation",
+          "when": "false"
         }
       ],
       "view/item/context": [
@@ -259,7 +259,11 @@
         "rascal.terminal.name.originFormat": {
           "type": "string",
           "default": "Project root",
-          "enum": ["Project root", "Module (qualified)", "Module (unqualified)"],
+          "enum": [
+            "Project root",
+            "Module (qualified)",
+            "Module (unqualified)"
+          ],
           "markdownDescription": "Specifies the format of `<origin>` in Rascal terminal name `Rascal terminal (<origin>)`"
         }
       }