Updrade clang-tidy to 17

.github/workflows/run_pr_tests.yml

@@ -109,10 +109,6 @@ jobs:
           llvm_version: 16
           llvm_build_type: RelAssert
 
-      # installs clang-tidy
-      - name: setup-clang-tidy
-        run:
-          sudo apt-get install -y clang-tidy-12
 
       # These need to match the configurations of build_pr_cache to use the cache effectively
       - name: build initial config files
@@ -160,7 +156,7 @@ jobs:
               HEAD..origin/${{ github.base_ref }} | \
               grep -P '\.(c|cc|cxx|cpp|h|hh|hpp|hxx)$'` | \
             tee /dev/stderr | \
-            parallel --verbose -- clang-tidy-12 --quiet -p "$PWD/build/" "{}"
+            parallel --verbose -- clang-tidy-17 --quiet -p "$PWD/build/" "{}"
           # ^ When updating the clang-tidy version, the version used by the cmake
           # target should match updated c.f. the `tidy` target
 
@@ -179,7 +175,7 @@ jobs:
 
       - name: run clang-format
         run: |
-          # we've installed clang-format-16 in the docker via pip, which just installs it as clang-format,
+          # we've installed clang-format-17 in the docker via pip, which just installs it as clang-format,
           # so just use clang-format-diff and -b clang-format directly
           git fetch origin ${{ github.base_ref }}
           git diff --no-color origin/${{ github.base_ref }} | \