m

Author: Lucas McDonald

.github/workflows/ci_test_python.yml

@@ -106,7 +106,7 @@ jobs:
       #   # Windows is tested with non-Dafny-transpiled Python tests.
       #   if: ${{ matrix.os != 'windows-latest' }}
       #   working-directory: ./${{ matrix.library }}/runtimes/python
-      #   shell: bash
+      #   shell: bash 
       #   run: |
       #     tox -e dafnytests