feat: update deps, add idris2-lsp.metavars command to show menu to ju…

…mp to available metavars

.github/workflows/ci.yml

@@ -0,0 +1,29 @@
+name: CI
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - uses: actions/setup-node@v4
+        with:
+          node-version: "22"
+
+      - name: Install dependencies
+        run: |
+          npm install-clean
+
+      - name: Lint
+        run: npm run lint
+
+      - name: Build source
+        run: |
+          npm run compile
+          npm run build

.github/workflows/release.yml

@@ -0,0 +1,60 @@
+name: Release
+
+on:
+  push:
+    tags:
+      - "*"
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - uses: actions/setup-node@v4
+        with:
+          node-version: "22"
+
+      - name: Install dependencies
+        run: |
+          npm ci
+
+      - name: Lint
+        run: npm run lint
+
+      - name: Build source
+        run: |
+          npm run compile
+          npm run build
+
+      # Create the extension via below in a dry run
+      - name: Package Extension
+        id: packageExtension
+        uses: HaaLeo/publish-vscode-extension@v1
+        with:
+          pat: stub
+          dryRun: true
+
+      # upload built extension to new release
+      - name: Create Release
+        id: create_release
+        uses: softprops/action-gh-release@v1
+        with:
+          generate_release_notes: true
+          fail_on_unmatched_files: true
+          files: ${{ steps.packageExtension.outputs.vsixPath }}
+
+      # Publish to VS Marketplace
+      - name: Publish to Visual Studio Marketplace
+        uses: HaaLeo/publish-vscode-extension@v1
+        with:
+          pat: ${{ secrets.VS_MARKETPLACE_TOKEN }}
+          extensionFile: ${{ steps.packageExtension.outputs.vsixPath }}
+          registryUrl: https://marketplace.visualstudio.com
+
+      # Publish to OpenVSX registry
+      - name: Publish to Open VSX Registry
+        uses: HaaLeo/publish-vscode-extension@v1
+        with:
+          pat: ${{ secrets.OPEN_VSX_TOKEN }}
+          extensionFile: ${{ steps.packageExtension.outputs.vsixPath }}

.gitignore

@@ -1,3 +1,5 @@
 out
 node_modules
-.vscode-test
+.vscode-test
+*.vsix
+*.tsbuildinfo

README.md

@@ -14,8 +14,18 @@ The `idris2-lsp` extension can be installed from the [Visual Studio Marketplace]
 
 It can also be built and installed locally from the checkout directory with:
 
-    $ vsce package
-    $ code --install-extension idris2-lsp-${version}.vsix
+```sh
+npm install
+./sync-engine-version.sh update-in-place
+npm install
+rm -f *.vsix
+version=$(jq -r '.version' package.json)
+npm run lint
+npm run compile
+npm run esbuild
+vsce package
+code --install-extension "idris2-lsp-${version}.vsix" --force
+```
 
 ## Configuring the extension
 

eslint.config.mjs

@@ -0,0 +1,34 @@
+import globals from "globals";
+import pluginJs from "@eslint/js";
+import tseslint from "typescript-eslint";
+import { includeIgnoreFile } from "@eslint/compat";
+import path from "node:path";
+import { fileURLToPath } from "node:url";
+
+const __filename = fileURLToPath(import.meta.url);
+const __dirname = path.dirname(__filename);
+const gitignorePath = path.resolve(__dirname, ".gitignore");
+
+export default [
+  includeIgnoreFile(gitignorePath),
+  { files: ["**/*.{js,mjs,cjs,ts}"] },
+  { languageOptions: { globals: globals.browser } },
+  pluginJs.configs.recommended,
+  ...tseslint.configs.recommended,
+  {
+    rules: {
+      "@typescript-eslint/no-unused-vars": [
+        "error",
+        {
+          args: "all",
+          argsIgnorePattern: "^_",
+          caughtErrors: "all",
+          caughtErrorsIgnorePattern: "^_",
+          destructuredArrayIgnorePattern: "^_",
+          varsIgnorePattern: "^_",
+          ignoreRestSiblings: true,
+        },
+      ],
+    },
+  },
+];