dafny icon indicating copy to clipboard operation
dafny copied to clipboard

Published 20 hours ago • verified publisher icon dafny-lang

chore: add config for PyPI runtime publishing

Open alex-chew opened this issue 10 months ago • 0 comments

Description

Restructures the Python runtime directory and adds configuration files to allow building and publishing a package to PyPI.

How has this been tested?

This has been used for the 4.4.0 and 4.5.0 releases: https://pypi.org/project/DafnyRuntimePython.

alex-chew avatar Mar 28 '24 20:03 alex-chew