m

Author: Lucas McDonald

.github/workflows/dafny_interop_test_vector_python_client.yml

@@ -1,5 +1,5 @@
-# This workflow performs test vectors in Python with MPL nightly latest.
-name: Library Python Test Vectors Backwards Interop Tests
+# This workflow performs test vectors in Python with the client interface.
+name: Library Python Test Vectors Client Interface Interop Tests
 
 on:
   workflow_call:
@@ -29,6 +29,7 @@ jobs:
         library: [TestVectors]
         python-version: [3.11, 3.12, 3.12]
         os: [ubuntu-22.04]
+        interface: [client, resource, table]
     runs-on: ${{ matrix.os }}
     permissions:
       id-token: write
@@ -97,4 +98,4 @@ jobs:
       - name: Test TestVectors
         working-directory: ./TestVectors
         run: |
-          make test_python_client_interface
+          make test_python_${{matrix.interface}}_interface

.github/workflows/pull.yml

@@ -59,7 +59,7 @@ jobs:
     uses: ./.github/workflows/ci_test_python.yml
     with:
       dafny: ${{needs.getVersion.outputs.version}}
-  pr-ci-python-testvectors-client:
+  pr-ci-python-testvectors:
     needs: getVersion
     uses: ./.github/workflows/dafny_interop_test_vector_python_client.yml
     with:
@@ -91,7 +91,7 @@ jobs:
       - pr-ci-net-test-vectors
       - pr-ci-net-examples
       - pr-ci-python
-      - pr-ci-python-testvectors-client
+      - pr-ci-python-testvectors
     runs-on: ubuntu-22.04
     steps:
       - name: Verify all required jobs passed