Gereon Kremer a16866b33b Build python wheels in our CI (#8087) ...

This PR integrates building and publishing cvc5 with its base and pythonic python APIs as a package to PyPi into our CI.
We build wheels for Linux and macOS for CPython 3.6 to 3.10 and PyPy 3.7 and 3.8.
The job is run nightly and for a release, and only published to PyPi for a release (as long as there is no reasonable way to automatically prune nightly builds from either PyPi or TestPyPi).

2022-03-03 18:39:16 +00:00

..

action.yml

Build python wheels in our CI (#8087)

2022-03-03 18:39:16 +00:00