CI: Test multiple ACVP versions

- This commit is ported from mlkem-native PR#1119.
Previously, the acvp_client.py would test multiple versions of ACVP.
This behaviour was changed when switching to on-the-fly downloading of test
vectors to only use the most recent ACVP version.
This commit adds testing older versions of ACVP in CI as well restoring the
previous test coverage.

Signed-off-by: willieyz <[email protected]>

Author: willieyz

.github/workflows/base.yml

@@ -63,6 +63,31 @@ jobs:
       - name: tests func
         run: |
           ./scripts/tests func
+  quickcheck-acvp:
+    strategy:
+      fail-fast: false
+      matrix:
+        external:
+         - ${{ github.repository_owner != 'pq-code-package' }}
+        target:
+         - runner: pqcp-arm64
+           name: 'aarch64'
+         - runner: ubuntu-latest
+           name: 'x86_64'
+        acvp-version: [v1.1.0.38, v1.1.0.39, v1.1.0.40]
+        exclude:
+          - {external: true,
+             target: {
+               runner: pqcp-arm64,
+               name: 'aarch64'
+             }}
+    name: Quickcheck ACVP (${{ matrix.target.name }}, ${{ matrix.acvp-version }})
+    runs-on: ${{ matrix.target.runner }}
+    steps:
+      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
+      - name: Run ACVP test
+        run: |
+          ./scripts/tests acvp --version ${{ matrix.acvp-version }}
   quickcheck_bench:
     strategy:
       fail-fast: false