Build updates

.github/workflows/build-binaries-gh_release.yml

@@ -58,7 +58,7 @@ jobs:
 
     steps:
     - name: Checkout repository
-      uses: actions/checkout@v4
+      uses: actions/checkout@v6
       with:
           ref: ${{ inputs.git_ref }}
 
@@ -113,7 +113,7 @@ jobs:
         echo "BIN=$bin" >> $GITHUB_ENV
 
     - name: Strip release binary (macos)
-      if: matrix.os == 'macos-latest'
+      if: contains(matrix.os, 'macos')
       shell: bash
       run: strip "$BIN"
 

.github/workflows/build-docker-registry.yml

@@ -26,29 +26,29 @@ jobs:
 
     steps:
       - name: Checkout repository
-        uses: actions/checkout@v4
+        uses: actions/checkout@v6
         with:
           ref: ${{ inputs.git_ref }}
 
       - name: Set up Docker Buildx
-        uses: docker/setup-buildx-action@v2
+        uses: docker/setup-buildx-action@v4
 
       - name: Log in to the Container registry
-        uses: docker/login-action@65b78e6e13532edd9afa3aa52ac7964289d1a9c1
+        uses: docker/login-action@v4
         with:
           registry: ${{ env.REGISTRY }}
           username: ${{ github.actor }}
           password: ${{ secrets.GITHUB_TOKEN }}
 
       - name: Extract metadata (tags, labels) for Docker
         id: meta
-        uses: docker/metadata-action@9ec57ed1fcdbf14dcef7dfbe97b2010124a938b7
+        uses: docker/metadata-action@v6
         with:
           images: ${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}
           tags: ${{ inputs.image_tags }}
 
       - name: Build and push Docker image
-        uses: docker/build-push-action@v5
+        uses: docker/build-push-action@v7
         with:
           context: .
           file: docker/Dockerfile

.github/workflows/build-vsix-gh_release.yml

@@ -23,26 +23,30 @@ jobs:
 
     steps:
       - name: Checkout repository
-        uses: actions/checkout@v4
+        uses: actions/checkout@v6
         with:
           ref: ${{ inputs.git_ref }}
 
       - name: Install Node.js
-        uses: actions/setup-node@v4
+        uses: actions/setup-node@v6
+        with:
+          node-version: 24
+          cache: yarn
+          cache-dependency-path: vscode-ext/yarn.lock
 
-      - name: Install NPM dependencies
+      - name: Install Yarn dependencies
         working-directory: ${{ env.EXTENSION_DIRECTORY }}
-        run: npm install
+        run: yarn install --frozen-lockfile
 
-      - name: Set npm flags (for pre-release)
+      - name: Set package flags (for pre-release)
         if: ${{ inputs.is_prerelease }}
         shell: bash
         run: |
-          echo "NPM_EXTRA_FLAGS=--pre-release" >> $GITHUB_ENV
+          echo "PACKAGE_EXTRA_FLAGS=--pre-release" >> $GITHUB_ENV
 
       - name: Package the extension
         working-directory: ${{ env.EXTENSION_DIRECTORY }}
-        run: npm run package -- --out caesar-${{ inputs.version }}.vsix $NPM_EXTRA_FLAGS
+        run: yarn package --out caesar-${{ inputs.version }}.vsix $PACKAGE_EXTRA_FLAGS
 
       - name: Upload Release Files
         uses: softprops/action-gh-release@v2
@@ -52,4 +56,4 @@ jobs:
           draft: ${{ !inputs.is_prerelease }}
           files: |
             ${{env.EXTENSION_DIRECTORY}}/caesar-${{ inputs.version }}.vsix
-
+

.github/workflows/build-vsix-marketplaces.yml

@@ -27,32 +27,36 @@ jobs:
 
     steps:
       - name: Checkout repository
-        uses: actions/checkout@v4
+        uses: actions/checkout@v6
         with:
           ref: ${{ inputs.git_ref }}
 
       - name: Install Node.js
-        uses: actions/setup-node@v4
+        uses: actions/setup-node@v6
+        with:
+          node-version: 24
+          cache: yarn
+          cache-dependency-path: vscode-ext/yarn.lock
 
-      - name: Install NPM dependencies
+      - name: Install Yarn dependencies
         working-directory: ${{ env.EXTENSION_DIRECTORY }}
-        run: npm install
+        run: yarn install --frozen-lockfile
 
       - name: Package the extension
         working-directory: ${{ env.EXTENSION_DIRECTORY }}
-        run: npm run package -- --out caesar-${{ inputs.version }}.vsix
+        run: yarn package --out caesar-${{ inputs.version }}.vsix
 
       - name: Publish the extension (Visual Studio Marketplace)
-        uses: HaaLeo/publish-vscode-extension@v1
+        uses: HaaLeo/publish-vscode-extension@v2
         with:
           registryUrl: https://marketplace.visualstudio.com
           pat: ${{ secrets.VSCE_PAT }}
           extensionFile: ${{env.EXTENSION_DIRECTORY}}/caesar-${{ inputs.version }}.vsix
 
       - name: Publish the extension (Open VSX Registry)
-        uses: HaaLeo/publish-vscode-extension@v1
+        uses: HaaLeo/publish-vscode-extension@v2
         with:
           registryUrl: https://open-vsx.org
           pat: ${{ secrets.OPEN_VSX_PAT }}
           extensionFile: ${{env.EXTENSION_DIRECTORY}}/caesar-${{ inputs.version }}.vsix
-
+

.github/workflows/create_nightly_release.yml

@@ -14,7 +14,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
     - name: Checkout repository
-      uses: actions/checkout@v4
+      uses: actions/checkout@v6
     - name: Ensure tag exists
       run: |
         git tag ${{ env.NIGHTLY_TAG }} -f

.github/workflows/rust.yml

@@ -9,31 +9,30 @@ jobs:
     name: Test Suite
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v6
       - name: Install packages
         shell: bash
         run: |
           sudo apt-get update
           sudo apt-get install -y cmake llvm-dev libclang-dev clang lld
       - uses: dtolnay/rust-toolchain@stable
-      - run: cargo test --workspace
+      - run: cargo test --workspace --locked
 
   fmt:
     name: Rustfmt
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v6
       - uses: dtolnay/rust-toolchain@stable
         with: 
           components: rustfmt
-      - run: rustup component add rustfmt
       - run: cargo fmt --all -- --check
 
   clippy:
     name: Clippy
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v6
       - name: Install packages
         shell: bash
         run: |
@@ -42,4 +41,4 @@ jobs:
       - uses: dtolnay/rust-toolchain@stable
         with: 
           components: clippy
-      - run: cargo clippy --workspace -- -D warnings
+      - run: cargo clippy --workspace --locked -- -D warnings

.github/workflows/setup_gh_release.yml

@@ -24,7 +24,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout repository
-        uses: actions/checkout@v4
+        uses: actions/checkout@v6
         with:
           ref: ${{ inputs.git_ref }}
 

.github/workflows/website.yml

@@ -1,30 +1,31 @@
 name: github pages
 
 permissions:
-  contents: write
-  pages: write
+  contents: read
 
 on:
   push:
     branches:
       - main
   pull_request:
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 defaults:
   run:
     working-directory: ./website
 
 jobs:
-  deploy:
+  build:
     runs-on: ubuntu-latest
-    concurrency:
-      group: ${{ github.workflow }}-${{ github.ref }}
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v6
 
-      - uses: actions/setup-node@v3
+      - uses: actions/setup-node@v6
         with:
-          node-version: 20
+          node-version: 24
           cache: yarn
           cache-dependency-path: website/yarn.lock
 
@@ -33,19 +34,22 @@ jobs:
       - name: Build website
         run: yarn build
 
-      # Popular action to deploy to GitHub Pages:
-      # Docs: https://github.com/peaceiris/actions-gh-pages#%EF%B8%8F-docusaurus
-      - name: Deploy to GitHub Pages
-        uses: peaceiris/actions-gh-pages@v3
-        if: ${{ github.ref == 'refs/heads/main' }}
+      - name: Upload Pages artifact
+        uses: actions/upload-pages-artifact@v4
         with:
-          github_token: ${{ secrets.GITHUB_TOKEN }}
-          # Build output to publish to the `gh-pages` branch:
-          publish_dir: ./website/build
-          # The following lines assign commit authorship to the official
-          # GH-Actions bot for deploys to `gh-pages` branch:
-          # https://github.com/actions/checkout/issues/13#issuecomment-724415212
-          # The GH actions bot is used by default if you didn't specify the two fields.
-          # You can swap them out with your own user credentials.
-          user_name: github-actions[bot]
-          user_email: 41898282+github-actions[bot]@users.noreply.github.com
+          path: ./website/build
+
+  deploy:
+    if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
+    needs: build
+    runs-on: ubuntu-latest
+    permissions:
+      pages: write
+      id-token: write
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    steps:
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v4

.gitignore

@@ -4,4 +4,5 @@ target
 benchmark-results.csv
 vscode-ext/node_modules/
 vscode-ext/out/
+vscode-ext/dist/
 node_modules/

.vscode/launch.json

@@ -1,21 +1,21 @@
-// A launch configuration that compiles the extension and then opens it inside a new window
+// A launch configuration that opens the extension in a new extension host window
 // Use IntelliSense to learn about possible attributes.
 // Hover to view descriptions of existing attributes.
 // For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
 {
 	"version": "0.2.0",
 	"configurations": [
 		{
-			"name": "Run VSCode Extension",
+			"name": "Run VSCode Extension (Bundled)",
 			"type": "extensionHost",
 			"request": "launch",
+			"preLaunchTask": "VSCode Extension: bundle watch",
 			"args": [
 				"--extensionDevelopmentPath=${workspaceFolder}/vscode-ext"
 			],
 			"outFiles": [
-				"${workspaceFolder}/vscode-ext/out/**/*.js"
-			],
-			"preLaunchTask": "VSCode Extension: npm watch"
+				"${workspaceFolder}/vscode-ext/dist/**/*.js"
+			]
 		}
 	]
 }

.vscode/settings.json

@@ -9,6 +9,5 @@
     "typescript.tsc.autoDetect": "off",
     "eslint.workingDirectories": [
         "./vscode-ext"
-    ],
-    "eslint.experimental.useFlatConfig": true
-}
+    ]
+}

.vscode/tasks.json

@@ -4,18 +4,64 @@
 	"version": "2.0.0",
 	"tasks": [
 		{
-			"label": "VSCode Extension: npm watch",
-			"path": "vscode-ext",
-			"type": "npm",
-			"script": "watch",
-			"problemMatcher": "$tsc-watch",
+			"label": "Docs: dev server",
+			"type": "shell",
+			"command": "yarn",
+			"args": [
+				"start"
+			],
+			"options": {
+				"cwd": "${workspaceFolder}/website"
+			},
 			"isBackground": true,
+			"problemMatcher": {
+				"pattern": {
+					"regexp": "^(__never_match__):(.*)$",
+					"file": 1,
+					"message": 2
+				},
+				"background": {
+					"activeOnStart": true,
+					"beginsPattern": ".",
+					"endsPattern": "Docusaurus website is running at:"
+				}
+			},
+			"group": "build",
 			"presentation": {
-				"reveal": "never"
+				"reveal": "always",
+				"panel": "dedicated",
+				"clear": true
+			}
+		},
+		{
+			"label": "VSCode Extension: bundle watch",
+			"type": "shell",
+			"command": "yarn",
+			"args": [
+				"run",
+				"bundle:watch"
+			],
+			"options": {
+				"cwd": "${workspaceFolder}/vscode-ext"
 			},
-			"group": {
-				"kind": "build",
-				"isDefault": false,
+			"isBackground": true,
+			"problemMatcher": {
+				"pattern": {
+					"regexp": "^(__never_match__):(.*)$",
+					"file": 1,
+					"message": 2
+				},
+				"background": {
+					"activeOnStart": true,
+					"beginsPattern": ".",
+					"endsPattern": "build finished, watching for changes"
+				}
+			},
+			"group": "build",
+			"presentation": {
+				"reveal": "never",
+				"panel": "dedicated",
+				"clear": true
 			}
 		}
 	]