sync

Author: Lucas McDonald

.github/workflows/ci_examples_python.yml

@@ -26,8 +26,9 @@ on:
 jobs:
   testPython:
     strategy:
+      max-parallel: 1
       matrix:
-        python-version: [3.11]
+        python-version: [3.11, 3.12, 3.13]
         os: [macos-13]
     runs-on: ${{ matrix.os }}
     permissions:

.github/workflows/ci_test_vector_python.yml

@@ -30,6 +30,10 @@ jobs:
       matrix:
         library: [TestVectors]
         python-version: [3.11, 3.12, 3.13]
+        # Only ubuntu for now;
+        # As of 4.10.1, Dafny's Python JSON processing is still very slow (1 hour to run test vectors on ubuntu)
+        # and Github's macOS runners are also very slow (~2x slower than ubuntu).
+        # If Dafny's JSON processing speed is improved, we can add macOS back.
         os: [ubuntu-22.04]
         interface: [client, resource, table]
     runs-on: ${{ matrix.os }}

.github/workflows/daily_ci.yml

@@ -71,6 +71,16 @@ jobs:
     uses: ./.github/workflows/ci_examples_python.yml
     with:
       dafny: ${{needs.getVersion.outputs.version}}
+  daily-ci-python-test-vectors:
+    needs: getVersion
+    uses: ./.github/workflows/ci_test_vector_python.yml
+    with:
+      dafny: ${{needs.getVersion.outputs.version}}
+  daily-ci-python-static-analysis:
+    needs: getVersion
+    uses: ./.github/workflows/ci_static_analysis_python.yml
+    with:
+      dafny: ${{needs.getVersion.outputs.version}}
   daily-ci-net-test-vectors:
     needs: getVersion
     uses: ./.github/workflows/ci_test_vector_net.yml

.github/workflows/manual.yml

@@ -67,6 +67,16 @@ jobs:
     with:
       dafny: ${{ inputs.dafny }}
       regenerate-code: ${{ inputs.regenerate-code }}
+  manual-ci-python-test-vectors:
+    uses: ./.github/workflows/ci_test_vector_python.yml
+    with:
+      dafny: ${{ inputs.dafny }}
+      regenerate-code: ${{ inputs.regenerate-code }}
+  manual-ci-python-static-analysis:
+    uses: ./.github/workflows/ci_static_analysis_python.yml
+    with:
+      dafny: ${{ inputs.dafny }}
+      regenerate-code: ${{ inputs.regenerate-code }}
   manual-ci-net-test-vectors:
     uses: ./.github/workflows/ci_test_vector_net.yml
     with:

.github/workflows/nightly.yml

@@ -64,6 +64,12 @@ jobs:
     with:
       dafny: "nightly-latest"
       regenerate-code: true
+  dafny-nightly-python-test-vectors:
+    if: github.event_name != 'schedule' || github.repository_owner == 'aws'
+    uses: ./.github/workflows/ci_test_vector_python.yml
+    with:
+      dafny: "nightly-latest"
+      regenerate-code: true
   dafny-nightly-test-vectors-net:
     if: github.event_name != 'schedule' || github.repository_owner == 'aws'
     uses: ./.github/workflows/ci_test_vector_net.yml

.github/workflows/push.yml

@@ -69,6 +69,11 @@ jobs:
   pr-ci-python-static-analysis:
     needs: getVersion
     uses: ./.github/workflows/ci_static_analysis_python.yml
+  pr-ci-python-test-vectors:
+    needs: getVersion
+    uses: ./.github/workflows/ci_test_vector_python.yml
+    with:
+      dafny: ${{needs.getVersion.outputs.version}}
   pr-ci-net-test-vectors:
     needs: getVersion
     uses: ./.github/workflows/ci_test_vector_net.yml