m

Author: Lucas McDonald

.github/workflows/ci_test_python.yml

@@ -101,20 +101,20 @@ jobs:
           CORES=$(node -e 'console.log(os.cpus().length)')
           make transpile_python CORES=$CORES
 
-      - name: Test ${{ matrix.library }} Dafny-transpiled Python tests
-        # Dafny-transpiled Python tests use a PYTHONPATH hack that doesn't work on Windows.
-        # Windows is tested with non-Dafny-transpiled Python tests.
-        if: ${{ matrix.os != 'windows-latest' }}
-        working-directory: ./${{ matrix.library }}/runtimes/python
-        shell: bash
-        run: |
-          tox -e dafnytests
+      # - name: Test ${{ matrix.library }} Dafny-transpiled Python tests
+      #   # Dafny-transpiled Python tests use a PYTHONPATH hack that doesn't work on Windows.
+      #   # Windows is tested with non-Dafny-transpiled Python tests.
+      #   if: ${{ matrix.os != 'windows-latest' }}
+      #   working-directory: ./${{ matrix.library }}/runtimes/python
+      #   shell: bash
+      #   run: |
+      #     tox -e dafnytests
 
-      - name: Test ${{ matrix.library }} Python unit tests
-        working-directory: ./${{ matrix.library }}/runtimes/python
-        shell: bash
-        run: |
-          tox -e unit
+      # - name: Test ${{ matrix.library }} Python unit tests
+      #   working-directory: ./${{ matrix.library }}/runtimes/python
+      #   shell: bash
+      #   run: |
+      #     tox -e unit
 
       - name: Test ${{ matrix.library }} Python integration tests
         working-directory: ./${{ matrix.library }}/runtimes/python