CI: Move RISC-V runner jobs into a standalone workflow

.github/workflows/all.yml

@@ -34,6 +34,12 @@ jobs:
       id-token: 'write'
     uses: ./.github/workflows/nix.yml
     secrets: inherit
+  riscv:
+    name: RISC-V
+    permissions:
+      contents: 'read'
+      id-token: 'write'
+    uses: ./.github/workflows/riscv.yml
   ci:
     name: Extended
     permissions:

.github/workflows/base.yml

@@ -34,9 +34,6 @@ jobs:
            name: 'aarch64'
          - runner: ubuntu-latest
            name: 'x86_64'
-         # via https://riseproject-dev.github.io/riscv-runner/
-         - runner: ubuntu-24.04-riscv
-           name: 'riscv'
          - runner: macos-latest
            name: 'macos (aarch64)'
          - runner: macos-15-intel
@@ -71,9 +68,6 @@ jobs:
            name: 'aarch64'
          - runner: ubuntu-latest
            name: 'x86_64'
-         # via https://riseproject-dev.github.io/riscv-runner/
-         - runner: ubuntu-24.04-riscv
-           name: 'riscv'
         acvp-version: [v1.1.0.40, v1.1.0.41, v1.1.0.42]
         exclude:
           - {external: true,

.github/workflows/riscv.yml

@@ -0,0 +1,38 @@
+# Copyright (c) The mlkem-native project authors
+# SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
+
+name: RISC-V
+permissions:
+  contents: read
+on:
+  workflow_call:
+  workflow_dispatch:
+jobs:
+  quickcheck:
+    name: Quickcheck (riscv)
+    # via https://riseproject-dev.github.io/riscv-runner/
+    runs-on: ubuntu-24.04-riscv
+    steps:
+      - uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
+      - name: make quickcheck
+        run: |
+          OPT=0 make quickcheck
+          make clean >/dev/null
+          OPT=1 make quickcheck
+      - uses: ./.github/actions/setup-os
+      - name: tests func
+        run: |
+          ./scripts/tests func --check-namespace
+  quickcheck-acvp:
+    name: Quickcheck ACVP (riscv, ${{ matrix.acvp-version }})
+    strategy:
+      fail-fast: false
+      matrix:
+        acvp-version: [v1.1.0.40, v1.1.0.41, v1.1.0.42]
+    # via https://riseproject-dev.github.io/riscv-runner/
+    runs-on: ubuntu-24.04-riscv
+    steps:
+      - uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
+      - name: Run ACVP test
+        run: |
+          ./scripts/tests acvp --version ${{ matrix.acvp-version }}