Use oxfmt, format code, configure VS Code

.github/stale.yml

@@ -16,4 +16,4 @@ markComment: >
 # Comment to post when removing the stale label. Set to `false` to disable
 unmarkComment: false
 # Comment to post when closing a stale Issue or Pull Request. Set to `false` to disable
-closeComment: false
+closeComment: false

.github/workflows/debugger-py.yml

@@ -22,39 +22,39 @@ jobs:
 
     timeout-minutes: 15
     steps:
-    - name: Checkout
-      uses: actions/checkout@v6
-
-    - name: Login to GitHub Container Registry
-      uses: docker/login-action@v3
-      with:
-        registry: ${{ env.REGISTRY }}
-        username: ${{ github.actor }}
-        password: ${{ secrets.GITHUB_TOKEN }}
-
-    - name: Extract metadata
-      id: meta
-      uses: docker/metadata-action@v5
-      with:
-        images: |
-          ${{ env.REGISTRY }}/${{ env.REPO_NAME }}/${{ env.CONTAINER_NAME }}
-        # enforce latest tag for now
-        tags: |
-          type=raw,value=latest
-
-    - name: Build & Push
-      id: push
-      uses: docker/build-push-action@v6
-      with:
-        context: .
-        file: ${{ env.PATH_CONTEXT }}/Dockerfile
-        push: true
-        tags: ${{ steps.meta.outputs.tags }}
-        labels: ${{ steps.meta.outputs.labels }}
-
-    - name: Attest
-      uses: actions/attest-build-provenance@v3
-      with:
-        subject-name: ${{ env.REGISTRY }}/${{ env.REPO_NAME }}/${{ env.CONTAINER_NAME }}
-        subject-digest: ${{ steps.push.outputs.digest }}
-        push-to-registry: true
+      - name: Checkout
+        uses: actions/checkout@v6
+
+      - name: Login to GitHub Container Registry
+        uses: docker/login-action@v3
+        with:
+          registry: ${{ env.REGISTRY }}
+          username: ${{ github.actor }}
+          password: ${{ secrets.GITHUB_TOKEN }}
+
+      - name: Extract metadata
+        id: meta
+        uses: docker/metadata-action@v5
+        with:
+          images: |
+            ${{ env.REGISTRY }}/${{ env.REPO_NAME }}/${{ env.CONTAINER_NAME }}
+          # enforce latest tag for now
+          tags: |
+            type=raw,value=latest
+
+      - name: Build & Push
+        id: push
+        uses: docker/build-push-action@v6
+        with:
+          context: .
+          file: ${{ env.PATH_CONTEXT }}/Dockerfile
+          push: true
+          tags: ${{ steps.meta.outputs.tags }}
+          labels: ${{ steps.meta.outputs.labels }}
+
+      - name: Attest
+        uses: actions/attest-build-provenance@v3
+        with:
+          subject-name: ${{ env.REGISTRY }}/${{ env.REPO_NAME }}/${{ env.CONTAINER_NAME }}
+          subject-digest: ${{ steps.push.outputs.digest }}
+          push-to-registry: true

.github/workflows/ghp.yml

@@ -2,8 +2,8 @@ name: Build Production for GitHub Pages
 
 on:
   push:
-   branches:
-     - "ghp"
+    branches:
+      - 'ghp'
 
 # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
 permissions:
@@ -17,38 +17,38 @@ jobs:
     timeout-minutes: 15
 
     steps:
-    - name: Checkout
-      uses: actions/checkout@v6
-
-    - name: mise-en-place
-      uses: jdx/mise-action@v2
-
-    - name: Install
-      shell: bash
-      run: |
-        npm ci
-
-    - name: Versions Report
-      shell: bash
-      run: |
-        npm run report:versions
-
-    - name: Build
-      run: |
-        npm run build
-
-    - name: Build Production
-      run: |
-        npm run production:build
-
-    - name: Setup Pages
-      id: pages
-      uses: actions/configure-pages@v5
-
-    - name: Upload artifact
-      uses: actions/upload-pages-artifact@v4
-      with:
-        path: ./packages/examples/production/
+      - name: Checkout
+        uses: actions/checkout@v6
+
+      - name: mise-en-place
+        uses: jdx/mise-action@v2
+
+      - name: Install
+        shell: bash
+        run: |
+          npm ci
+
+      - name: Versions Report
+        shell: bash
+        run: |
+          npm run report:versions
+
+      - name: Build
+        run: |
+          npm run build
+
+      - name: Build Production
+        run: |
+          npm run production:build
+
+      - name: Setup Pages
+        id: pages
+        uses: actions/configure-pages@v5
+
+      - name: Upload artifact
+        uses: actions/upload-pages-artifact@v4
+        with:
+          path: ./packages/examples/production/
 
   ghp-deploy:
     needs: ghp-build

.github/workflows/ls-clangd.yml

@@ -23,66 +23,66 @@ jobs:
 
     timeout-minutes: 150
     steps:
-    - name: Checkout
-      uses: actions/checkout@v6
+      - name: Checkout
+        uses: actions/checkout@v6
 
-    - name: Login to GitHub Container Registry
-      uses: docker/login-action@v3
-      with:
-        registry: ${{ env.REGISTRY }}
-        username: ${{ github.actor }}
-        password: ${{ secrets.GITHUB_TOKEN }}
+      - name: Login to GitHub Container Registry
+        uses: docker/login-action@v3
+        with:
+          registry: ${{ env.REGISTRY }}
+          username: ${{ github.actor }}
+          password: ${{ secrets.GITHUB_TOKEN }}
 
-    - name: Extract metadata (configure)
-      id: meta_configure
-      uses: docker/metadata-action@v5
-      with:
-        images: |
-          ${{ env.REGISTRY }}/${{ env.REPO_NAME }}/${{ env.CONTAINER_NAME_CONFIGURE }}
-        # enforce latest tag for now
-        tags: |
-          type=raw,value=latest
+      - name: Extract metadata (configure)
+        id: meta_configure
+        uses: docker/metadata-action@v5
+        with:
+          images: |
+            ${{ env.REGISTRY }}/${{ env.REPO_NAME }}/${{ env.CONTAINER_NAME_CONFIGURE }}
+          # enforce latest tag for now
+          tags: |
+            type=raw,value=latest
 
-    - name: Build & Push (configure)
-      id: push_configure
-      uses: docker/build-push-action@v6
-      with:
-        context: ${{ env.PATH_CONTEXT }}
-        file: ${{ env.PATH_CONTEXT }}/configure.Dockerfile
-        push: true
-        tags: ${{ steps.meta_configure.outputs.tags }}
-        labels: ${{ steps.meta_configure.outputs.labels }}
+      - name: Build & Push (configure)
+        id: push_configure
+        uses: docker/build-push-action@v6
+        with:
+          context: ${{ env.PATH_CONTEXT }}
+          file: ${{ env.PATH_CONTEXT }}/configure.Dockerfile
+          push: true
+          tags: ${{ steps.meta_configure.outputs.tags }}
+          labels: ${{ steps.meta_configure.outputs.labels }}
 
-    - name: Attest (configure)
-      uses: actions/attest-build-provenance@v3
-      with:
-        subject-name: ${{ env.REGISTRY }}/${{ env.REPO_NAME }}/${{ env.CONTAINER_NAME_CONFIGURE }}
-        subject-digest: ${{ steps.push_configure.outputs.digest }}
-        push-to-registry: true
+      - name: Attest (configure)
+        uses: actions/attest-build-provenance@v3
+        with:
+          subject-name: ${{ env.REGISTRY }}/${{ env.REPO_NAME }}/${{ env.CONTAINER_NAME_CONFIGURE }}
+          subject-digest: ${{ steps.push_configure.outputs.digest }}
+          push-to-registry: true
 
-    - name: Extract metadata (build)
-      id: meta_build
-      uses: docker/metadata-action@v5
-      with:
-        images: |
-          ${{ env.REGISTRY }}/${{ env.REPO_NAME }}/${{ env.CONTAINER_NAME_BUILD }}
-        # enforce latest tag for now
-        tags: |
-          type=raw,value=latest
+      - name: Extract metadata (build)
+        id: meta_build
+        uses: docker/metadata-action@v5
+        with:
+          images: |
+            ${{ env.REGISTRY }}/${{ env.REPO_NAME }}/${{ env.CONTAINER_NAME_BUILD }}
+          # enforce latest tag for now
+          tags: |
+            type=raw,value=latest
 
-    - name: Build & Push (build)
-      id: push_build
-      uses: docker/build-push-action@v6
-      with:
-        context: ${{ env.PATH_CONTEXT }}
-        file: ${{ env.PATH_CONTEXT }}/build.Dockerfile
-        push: true
-        tags: ${{ steps.meta_build.outputs.tags }}
-        labels: ${{ steps.meta_build.outputs.labels }}
+      - name: Build & Push (build)
+        id: push_build
+        uses: docker/build-push-action@v6
+        with:
+          context: ${{ env.PATH_CONTEXT }}
+          file: ${{ env.PATH_CONTEXT }}/build.Dockerfile
+          push: true
+          tags: ${{ steps.meta_build.outputs.tags }}
+          labels: ${{ steps.meta_build.outputs.labels }}
 
-    - name: Attest (build)
-      uses: actions/attest-build-provenance@v3
-      with:
-        subject-name: ${{ env.REGISTRY }}/${{ env.REPO_NAME }}/${{ env.CONTAINER_NAME_BUILD }}
-        subject-digest: ${{ steps.push_build.outputs.digest }}
-        push-to-registry: true
+      - name: Attest (build)
+        uses: actions/attest-build-provenance@v3
+        with:
+          subject-name: ${{ env.REGISTRY }}/${{ env.REPO_NAME }}/${{ env.CONTAINER_NAME_BUILD }}
+          subject-digest: ${{ steps.push_build.outputs.digest }}
+          push-to-registry: true

.github/workflows/ls-eclipsejdt.yml

@@ -22,39 +22,39 @@ jobs:
 
     timeout-minutes: 15
     steps:
-    - name: Checkout
-      uses: actions/checkout@v6
-
-    - name: Login to GitHub Container Registry
-      uses: docker/login-action@v3
-      with:
-        registry: ${{ env.REGISTRY }}
-        username: ${{ github.actor }}
-        password: ${{ secrets.GITHUB_TOKEN }}
-
-    - name: Extract metadata
-      id: meta
-      uses: docker/metadata-action@v5
-      with:
-        images: |
-          ${{ env.REGISTRY }}/${{ env.REPO_NAME }}/${{ env.CONTAINER_NAME }}
-        # enforce latest tag for now
-        tags: |
-          type=raw,value=latest
-
-    - name: Build & Push
-      id: push
-      uses: docker/build-push-action@v6
-      with:
-        context: .
-        file: ${{ env.PATH_CONTEXT }}/Dockerfile
-        push: true
-        tags: ${{ steps.meta.outputs.tags }}
-        labels: ${{ steps.meta.outputs.labels }}
-
-    - name: Attest
-      uses: actions/attest-build-provenance@v3
-      with:
-        subject-name: ${{ env.REGISTRY }}/${{ env.REPO_NAME }}/${{ env.CONTAINER_NAME }}
-        subject-digest: ${{ steps.push.outputs.digest }}
-        push-to-registry: true
+      - name: Checkout
+        uses: actions/checkout@v6
+
+      - name: Login to GitHub Container Registry
+        uses: docker/login-action@v3
+        with:
+          registry: ${{ env.REGISTRY }}
+          username: ${{ github.actor }}
+          password: ${{ secrets.GITHUB_TOKEN }}
+
+      - name: Extract metadata
+        id: meta
+        uses: docker/metadata-action@v5
+        with:
+          images: |
+            ${{ env.REGISTRY }}/${{ env.REPO_NAME }}/${{ env.CONTAINER_NAME }}
+          # enforce latest tag for now
+          tags: |
+            type=raw,value=latest
+
+      - name: Build & Push
+        id: push
+        uses: docker/build-push-action@v6
+        with:
+          context: .
+          file: ${{ env.PATH_CONTEXT }}/Dockerfile
+          push: true
+          tags: ${{ steps.meta.outputs.tags }}
+          labels: ${{ steps.meta.outputs.labels }}
+
+      - name: Attest
+        uses: actions/attest-build-provenance@v3
+        with:
+          subject-name: ${{ env.REGISTRY }}/${{ env.REPO_NAME }}/${{ env.CONTAINER_NAME }}
+          subject-digest: ${{ steps.push.outputs.digest }}
+          push-to-registry: true