Remove -fsyntaxonly, used to miss some warnings

Author: ZippeyKeys12

.github/workflows/spec-testing.yml

@@ -39,15 +39,15 @@ jobs:
       with:
         path: ~/.opam
         key: ${{ matrix.version }}
-  
+
     - name: Setup OPAM
       if: steps.cache-opam-restore.outputs.cache-hit != 'true'
       run: |
         opam init --yes --no-setup --shell=sh --compiler=${{ matrix.version }}
         eval $(opam env --switch=${{ matrix.version }})
         opam repo add --yes --this-switch coq-released https://coq.inria.fr/opam/released
         opam install --deps-only --yes ./cn.opam
-  
+
     - name: Save OPAM cache
       uses: actions/cache/save@v4
       if: steps.cache-opam-restore.outputs.cache-hit != 'true'
@@ -87,7 +87,7 @@ jobs:
         opam switch ${{ matrix.version }}
         eval $(opam env --switch=${{ matrix.version }})
         cd tests; ./run-cn-test-gen.sh
-    
+
     - name: Run CN-Seq-Test-Gen CI tests
       run: |
         opam switch ${{ matrix.version }}

.github/workflows/style.yml

@@ -96,7 +96,7 @@ jobs:
 
       - name: Check Clang warnings
         run: |
-          find runtime/libcn/ -iname '*.c' | xargs clang-19 -I runtime/libcn/include/ -fsyntax-only -Werror -Wall
+          find runtime/libcn/ -iname '*.c' -exec clang-19 -c -I runtime/libcn/include/ -Werror -Wall -o /dev/null {} ';'
 
   gcc-warnings:
     name: GCC warnings
@@ -115,7 +115,7 @@ jobs:
 
       - name: Check GCC warnings
         run: |
-          find runtime/libcn/ -iname '*.c' | xargs gcc -I runtime/libcn/include/ -fsyntax-only -Werror -Wall
+          find runtime/libcn/ -iname '*.c' -exec gcc -c -I runtime/libcn/include/ -Werror -Wall -o /dev/null {} ';'
 
   shellcheck:
     name: ShellCheck