Closed MikaelMayer closed 3 weeks ago
This PR removes venv/bin so that executing python is straightforward on Windows.
I'm testing this script to release the DafnyRuntimePython 4.9.0 on Windows
By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.
This PR removes venv/bin so that executing python is straightforward on Windows.
How has this been tested?
I'm testing this script to release the DafnyRuntimePython 4.9.0 on Windows
By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.