CI: Add POWER10 benchmarking

Signed-off-by: Matthias J. Kannwischer <matthias@kannwischer.eu>

Author: mkannwischer

.github/actions/bench/action.yml

@@ -91,7 +91,7 @@ runs:
     - name: Check namespace
       shell: ${{ env.SHELL }}
       run: |
-        check-namespace
+        ./scripts/check-namespace
     - name: Store benchmark result
       uses: benchmark-action/github-action-benchmark@d48d326b4ca9ba73ca0cd0d59f108f9e02a381c7 # v1.20.4
       with:

.github/workflows/bench.yml

@@ -69,6 +69,14 @@ jobs:
           ldflags: "-flto"
           bench_extra_args: "-r"
           nix_shell: ci-bench
+        - system: pqcp-ppc64
+          name:  ppc64le (POWER10) benchmarks
+          bench_pmu: PERF
+          archflags: "-mcpu=native"
+          cflags: "-flto -DMLK_FORCE_PPC64LE"
+          ldflags: "-flto"
+          bench_extra_args: "-r"
+          nix_shell: ''
     if: github.repository_owner == 'pq-code-package' && (github.event.label.name == 'benchmark' || github.ref == 'refs/heads/main')
     runs-on: self-hosted-${{ matrix.target.system }}
     steps: