diff --git a/.github/workflows/formatting.yml b/.github/workflows/formatting.yml
index 47b50f4b..d98810b6 100644
--- a/.github/workflows/formatting.yml
+++ b/.github/workflows/formatting.yml
@@ -4,17 +4,17 @@ on:
   pull_request:
     paths:
       - '.github/workflows/**'
-      - '**.md'
-      - '**.yml'
-      - '**.yaml'
       - '**.js'
       - '**.json'
+      - '**.md'
+      - '**.yaml'
+      - '**.yml'
       - '**.ts'
 
 jobs:
   prettier:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v5
       - run: yarn install
       - run: yarn run prettier-check
diff --git a/DESIGN.md b/DESIGN.md
index 15754ae2..c8290645 100644
--- a/DESIGN.md
+++ b/DESIGN.md
@@ -60,7 +60,6 @@ and then converting to SCIP for transmission.
     and zstd are already very good in terms of both compression
     speed and compression ratio.[^3]
 - Support efficient code navigation by itself.
-
   - Why: Code navigation fundamentally requires some form of bidirectional
     lookup which is best served by a query engine.