[chore] clang-format CI check replaced with pre-commit hook using cla…

…ng-format.

.github/workflows/build.yaml

@@ -213,10 +213,10 @@ jobs:
   clang-format:
     runs-on: ubuntu-latest
     steps:
-      - name: Checkout KLEE Code
-        uses: actions/checkout@v2
-      - name: Run clang-format on KLEE Code
-        uses: jidicula/[email protected]
-        with:
-          clang-format-version: '13'
-          include-regex: '(^.*\.((((c|C)(c|pp|xx|\+\+)?$)|((h|H)h?(pp|xx|\+\+)?$))|((ino|pde|proto|cu))$)|^(include|lib)\/.*\.inc)$'
+    - uses: actions/checkout@v3
+    - uses: actions/setup-python@v4
+      with:
+        python-version: 3.x
+    - uses: pre-commit/[email protected]
+    - uses: pre-commit-ci/[email protected]
+      if: always()

.pre-commit-config.yaml

@@ -0,0 +1,7 @@
+files: '(^.*\.((((c|C)(c|pp|xx|\+\+)?$)|((h|H)h?(pp|xx|\+\+)?$))|((ino|pde|proto|cu))$)|^(include|lib)\/.*\.inc)$'
+
+repos:
+- repo: https://github.com/pre-commit/mirrors-clang-format
+  rev: v13.0.1
+  hooks:
+  - id: clang-format