CI: Extend ppcle CI

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

Author: mkannwischer

.github/workflows/all.yml

@@ -26,22 +26,22 @@ jobs:
   #     contents: 'read'
   #     id-token: 'write'
   #   uses: ./.github/workflows/lint_markdown.yml
-  # nix:
-  #   name: Nix
-  #   permissions:
-  #     actions: 'write'
-  #     contents: 'read'
-  #     id-token: 'write'
-  #   uses: ./.github/workflows/nix.yml
-  #   secrets: inherit
-  # ci:
-  #   name: Extended
-  #   permissions:
-  #     contents: 'read'
-  #     id-token: 'write'
-  #   needs: [ base, nix ]
-  #   uses: ./.github/workflows/ci.yml
-  #   secrets: inherit
+  nix:
+    name: Nix
+    permissions:
+      actions: 'write'
+      contents: 'read'
+      id-token: 'write'
+    uses: ./.github/workflows/nix.yml
+    secrets: inherit
+  ci:
+    name: Extended
+    permissions:
+      contents: 'read'
+      id-token: 'write'
+    needs: [ base, nix ]
+    uses: ./.github/workflows/ci.yml
+    secrets: inherit
   # cbmc:
   #   name: CBMC
   #   permissions:

.github/workflows/ci.yml

@@ -701,3 +701,18 @@ jobs:
           gh_token: ${{ secrets.GITHUB_TOKEN }}
           script: |
             python3 ./scripts/autogen --dry-run --update-hol-light-bytecode
+  ppc64le_tests:
+    if: github.repository_owner == 'pq-code-package' && !github.event.pull_request.head.repo.fork
+    name: Functional tests (ppc64le, 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"