github-ci: use all cpus for coccinelle checks

Also put "cocci" in the job name and install parallel so the script can
actually run with concurrency.

diff --git a/.github/workflows/builds.yml b/.github/workflows/builds.yml
index b3527e94ab4789f5921f9e5e8deea275a9960464..c40a92788b5113082420f8a58a5c5da07fba3d35 100644 (file)
--- a/.github/workflows/builds.yml
+++ b/.github/workflows/builds.yml
@@ -777,7 +777,7 @@ jobs:
 
   # Fedora 38 build using Clang.
   fedora-38-clang:
-    name: Fedora 38 (clang, debug, asan, wshadow, rust-strict, systemd)
+    name: Fedora 38 (clang, cocci, debug, asan, wshadow, rust-strict, systemd)
     runs-on: ubuntu-latest
     container: fedora:38
     needs: [prepare-deps]
@@ -833,6 +833,7 @@ jobs:
                 libtool \
                 lz4-devel \
                 make \
+                parallel \
                 pcre2-devel \
                 pkgconfig \
                 python \
@@ -852,7 +853,7 @@ jobs:
       - run: CC="clang" CFLAGS="$DEFAULT_CFLAGS -Wshadow" ./configure --disable-shared  --enable-coccinelle
       - name: Running unit tests and cocci checks
         # Set the concurrency level for cocci.
-        run: CONCURRENCY_LEVEL=2 make check
+        run: CONCURRENCY_LEVEL=${{ env.CPUS }} make check
       - run: make distclean
       - run: CC="clang" CFLAGS="$DEFAULT_CFLAGS -Wshadow -fsanitize=address -fno-omit-frame-pointer" ./configure --enable-debug --enable-unittests --disable-shared --enable-rust-strict --enable-hiredis --enable-nfqueue --enable-lua
         env: