build: disable the benchmark build on CI

The CI build step runs on all of the supported distributions. However,
the benchmark currently doesn't support Fedora 39
(bpf_prog_get_info_by_fd() doesn't exists there). This change disable
the benchmark build for the build step of the CI (the benchmark will run
for Fedora 41 anyway).

Author: qdeslandes

Diff for: .github/workflows/ci.yaml

@@ -79,7 +79,7 @@ jobs:
       - name: Checkout bpfilter
         uses: actions/checkout@v2
       - name: Configure the build
-        run: cmake -S $GITHUB_WORKSPACE -B $GITHUB_WORKSPACE/build
+        run: cmake -S $GITHUB_WORKSPACE -B $GITHUB_WORKSPACE/build -DNO_BENCHMARKS=1
       - name: Build all
         run: make -C $GITHUB_WORKSPACE/build -j `nproc`