CI: Add native ppc64le (POWER10) CI

Courtesy of Basil Hess/IBM, we know have a self-hosted POWER10 runner.
This commit adds functional tests to CI.
I had attempted to add it to the existign "kat_tests", but the sanitizer tests
don't work properly on that platform.
Note that opt tests are already enabled so that
#1193 can simply be
rebased on top of this.

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

Author: mkannwischer

.github/workflows/ci.yml

@@ -173,6 +173,21 @@ jobs:
           compile_mode: ${{ matrix.target.mode }}
           cflags: "-DMLKEM_DEBUG"
           opt: 'opt'
+  ppc64le_tests:
+    if: github.repository_owner == 'pq-code-package' && !github.event.pull_request.head.repo.fork
+    name: Functional tests (ppc64le/POWER10, native)
+    runs-on: pqcp-ppc64
+    steps:
+      - uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
+      - name: build + test
+        uses: ./.github/actions/multi-functest
+        with:
+          nix-shell: ''
+      - name: build + test (+debug)
+        uses: ./.github/actions/multi-functest
+        with:
+          nix-shell: ''
+          cflags: "-DMLKEM_DEBUG"
   backend_tests:
     name: AArch64 FIPS202 backends (${{ matrix.backend }})
     strategy: