search

flintlib / python-flint

Python bindings for Flint and Arb
MIT License
131 stars 25 forks source link

Bump versions and add automatic releases #149

Closed oscarbenjamin closed 3 months ago

oscarbenjamin commented 3 months ago

Work in progress...

edgarcosta commented 3 months ago

It also might be worth it to go all the way to 3.1.3-p1

oscarbenjamin commented 3 months ago

It also might be worth it to go all the way to 3.1.3-p1

Why is it called 3.1.3-p1?

edgarcosta commented 3 months ago

I could have called it 3.1.4, and perhaps should have, but the only thing that changed from 3.1.3 was updating the VERSION before bootstrapping, to fix: https://github.com/Homebrew/homebrew-core/pull/166490#issuecomment-2123447266

oscarbenjamin commented 3 months ago

Ah, okay. The website doesn't have anything past 3.1.2: https://flintlib.org/downloads.html

edgarcosta commented 3 months ago

That is indeed true, and someone already created an issue: https://github.com/flintlib/flint/issues/2022

oscarbenjamin commented 3 months ago

I've just pushed the tag and the workflow is running: https://github.com/flintlib/python-flint/actions/runs/9750608228

oscarbenjamin commented 3 months ago

(It'll take about 30 minutes to reach the point where I can approve deployment.)

oscarbenjamin commented 3 months ago

Didn't work. Trying again after gh-153: https://github.com/flintlib/python-flint/actions/runs/9750919090

oscarbenjamin commented 3 months ago

New try: gh-154: https://github.com/flintlib/python-flint/actions/runs/9751446766

oscarbenjamin commented 3 months ago

Seems to be working so after gh-155 I think it will work: https://github.com/flintlib/python-flint/actions/runs/9751640936

oscarbenjamin commented 3 months ago

Okay here you go Edgar: https://pypi.org/project/python-flint/0.7.0a2/#files

pip install --pre python-flint will give all the acb_theta you want!