[CI] Pull out style checks into their own workflow

Author: ZippeyKeys12

.github/workflows/proof.yml

@@ -55,13 +55,6 @@ jobs:
         path: ~/.opam
         key: ${{ matrix.version }}
 
-    # - name: Install Cerberus-lib
-    #   run: |
-    #     opam switch ${{ matrix.version }}
-    #     eval $(opam env --switch=${{ matrix.version }})
-    #     opam pin --yes --no-action add cerberus-lib .
-    #     opam install --yes cerberus-lib
-
     - name: Download cvc5 release
       uses: robinraju/release-downloader@v1
       with:
@@ -80,13 +73,7 @@ jobs:
         opam switch ${{ matrix.version }}
         eval $(opam env --switch=${{ matrix.version }})
         opam pin --yes --no-action add cn .
-        opam install --yes cn ocamlformat.0.27.0
-
-    - name: Check CN code formatting
-      run: |
-        opam switch ${{ matrix.version }}
-        eval $(opam env --switch=${{ matrix.version }})
-        dune build @fmt
+        opam install --yes cn
 
     - name: Checkout cn-tutorial
       uses: actions/checkout@v4

.github/workflows/spec-testing.yml

@@ -32,19 +32,6 @@ jobs:
     - name: System dependencies (ubuntu)
       run: |
         sudo apt-get install build-essential libgmp-dev z3 opam cmake lcov
-        wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key|sudo apt-key add -
-        sudo add-apt-repository "deb http://apt.llvm.org/jammy/ llvm-toolchain-jammy-19 main"
-        sudo add-apt-repository "deb-src http://apt.llvm.org/jammy/ llvm-toolchain-jammy-19 main"
-        sudo apt-get update
-        sudo apt-get install clang-19 clang-format-19
-
-    - name: Check LibCN code formatting
-      run: |
-        find runtime/libcn/ -iname '*.h' -o -iname '*.c' | xargs clang-format-19 --dry-run -Werror
-
-    - name: Check Clang warnings
-      run: |
-        find runtime/libcn/ -iname '*.c' | xargs clang-19 -I runtime/libcn/include/ -fsyntax-only -Werror
 
     - name: Restore OPAM cache
       id: cache-opam-restore
@@ -68,13 +55,6 @@ jobs:
         path: ~/.opam
         key: ${{ matrix.version }}
 
-    # - name: Install Cerberus-lib
-    #   run: |
-    #     opam switch ${{ matrix.version }}
-    #     eval $(opam env --switch=${{ matrix.version }})
-    #     opam pin --yes --no-action add cerberus-lib .
-    #     opam install --yes cerberus-lib
-
     - name: Install CN
       run: |
         opam switch ${{ matrix.version }}

.github/workflows/style.yml

@@ -0,0 +1,89 @@
+# Check style of codebase
+name: Style
+
+on:
+  pull_request:
+  push:
+    branches:
+      - main
+
+jobs:
+  ocaml-format:
+    name: OCamlFormat
+
+    runs-on: ubuntu-22.04
+
+    steps:
+      - name: Checkout CN
+        uses: actions/checkout@v4
+
+      - name: Install OCamlFormat
+        run: |
+          sudo apt-get install opam
+          opam init --yes --no-setup --shell=sh --compiler=5.2.0
+          eval $(opam env)
+          opam install ocamlformat.0.27.0
+
+      - name: Check CN code formatting
+        run: |
+          eval $(opam env)
+          dune build @fmt
+
+  clang-format:
+    name: ClangFormat
+
+    runs-on: ubuntu-22.04
+
+    steps:
+      - name: Checkout CN
+        uses: actions/checkout@v4
+
+      - name: Install ClangFormat
+        run: |
+          wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key|sudo apt-key add -
+          sudo add-apt-repository "deb http://apt.llvm.org/jammy/ llvm-toolchain-jammy-19 main"
+          sudo add-apt-repository "deb-src http://apt.llvm.org/jammy/ llvm-toolchain-jammy-19 main"
+          sudo apt-get update
+          sudo apt-get install clang-format-19
+
+      - name: Check LibCN code formatting
+        run: |
+          find runtime/libcn/ -iname '*.h' -o -iname '*.c' | xargs clang-format-19 --dry-run -Werror
+
+  clang-warnings:
+    name: Clang warnings
+
+    runs-on: ubuntu-22.04
+
+    steps:
+      - name: Checkout CN
+        uses: actions/checkout@v4
+
+      - name: Install Clang
+        run: |
+          wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key|sudo apt-key add -
+          sudo add-apt-repository "deb http://apt.llvm.org/jammy/ llvm-toolchain-jammy-19 main"
+          sudo add-apt-repository "deb-src http://apt.llvm.org/jammy/ llvm-toolchain-jammy-19 main"
+          sudo apt-get update
+          sudo apt-get install clang-19
+
+      - name: Check Clang warnings
+        run: |
+          find runtime/libcn/ -iname '*.c' | xargs clang-19 -I runtime/libcn/include/ -fsyntax-only -Werror
+
+  gcc-warnings:
+    name: GCC warnings
+
+    runs-on: ubuntu-22.04
+
+    steps:
+      - name: Checkout CN
+        uses: actions/checkout@v4
+
+      - name: Install GCC
+        run: |
+          sudo apt-get install gcc-15
+
+      - name: Check GCC warnings
+        run: |
+          find runtime/libcn/ -iname '*.c' | xargs gcc-19 -I runtime/libcn/include/ -fsyntax-only -Werror