CI: Re-enable benchmarking on Mac Mini/RPi4/A55/BPi

Our benchmarking boxes are back online. This renables benchmarking in CI.

Signed-off-by: Matthias J. Kannwischer <matthias@zerorisc.com>

Author: mkannwischer

.github/workflows/bench.yml

@@ -28,14 +28,14 @@ jobs:
       fail-fast: true
       matrix:
        target:
-        # - system: rpi4
-        #   name: Arm Cortex-A72 (Raspberry Pi 4) benchmarks
-        #   bench_pmu: PMU
-        #   archflags: -mcpu=cortex-a72 -DMLK_SYS_AARCH64_SLOW_BARREL_SHIFTER
-        #   cflags: "-flto -DMLK_FORCE_AARCH64"
-        #   ldflags: "-flto"
-        #   bench_extra_args: ""
-        #   nix_shell: bench
+        - system: rpi4
+          name: Arm Cortex-A72 (Raspberry Pi 4) benchmarks
+          bench_pmu: PMU
+          archflags: -mcpu=cortex-a72 -DMLK_SYS_AARCH64_SLOW_BARREL_SHIFTER
+          cflags: "-flto -DMLK_FORCE_AARCH64"
+          ldflags: "-flto"
+          bench_extra_args: ""
+          nix_shell: bench
         - system: rpi5
           name: Arm Cortex-A76 (Raspberry Pi 5) benchmarks
           bench_pmu: PERF
@@ -45,31 +45,31 @@ jobs:
           bench_extra_args: ""
           nix_shell: bench
           cross_prefix: ""
-        # - system: a55
-        #   name: Arm Cortex-A55 (Snapdragon 888) benchmarks
-        #   bench_pmu: PERF
-        #   archflags: "-mcpu=cortex-a55 -march=armv8.2-a"
-        #   cflags: "-flto -DMLK_FORCE_AARCH64 -DMLK_CONFIG_FIPS202_BACKEND_FILE=\\\\\\\"fips202/native/aarch64/x1_scalar.h\\\\\\\""
-        #   ldflags: "-flto -static"
-        #   bench_extra_args: -w exec-on-a55
-        #   nix_shell: bench
-        # - system: bpi
-        #   name: SpacemiT K1 8 (Banana Pi F3) benchmarks
-        #   bench_pmu: PERF
-        #   archflags: "-march=rv64imafdcv_zicsr_zifencei"
-        #   cflags: ""
-        #   ldflags: "-static"
-        #   bench_extra_args: -w exec-on-bpi
-        #   cross_prefix: riscv64-unknown-linux-gnu-
-        #   nix_shell: cross-riscv64
-        # - system: m1-mac-mini
-        #   name: Mac Mini (M1, 2020) benchmarks
-        #   bench_pmu: MAC
-        #   archflags: "-mcpu=apple-m1 -march=armv8.4-a+sha3"
-        #   cflags: "-flto"
-        #   ldflags: "-flto"
-        #   bench_extra_args: "-r"
-        #   nix_shell: bench
+        - system: a55
+          name: Arm Cortex-A55 (Snapdragon 888) benchmarks
+          bench_pmu: PERF
+          archflags: "-mcpu=cortex-a55 -march=armv8.2-a"
+          cflags: "-flto -DMLK_FORCE_AARCH64 -DMLK_CONFIG_FIPS202_BACKEND_FILE=\\\\\\\"fips202/native/aarch64/x1_scalar.h\\\\\\\""
+          ldflags: "-flto -static"
+          bench_extra_args: -w exec-on-a55
+          nix_shell: bench
+        - system: bpi
+          name: SpacemiT K1 8 (Banana Pi F3) benchmarks
+          bench_pmu: PERF
+          archflags: "-march=rv64imafdcv_zicsr_zifencei"
+          cflags: ""
+          ldflags: "-static"
+          bench_extra_args: -w exec-on-bpi
+          cross_prefix: riscv64-unknown-linux-gnu-
+          nix_shell: cross-riscv64
+        - system: m1-mac-mini
+          name: Mac Mini (M1, 2020) benchmarks
+          bench_pmu: MAC
+          archflags: "-mcpu=apple-m1 -march=armv8.4-a+sha3"
+          cflags: "-flto"
+          ldflags: "-flto"
+          bench_extra_args: "-r"
+          nix_shell: bench
         - system: pqcp-ppc64
           name:  ppc64le (POWER10) benchmarks
           bench_pmu: PERF