GitHub / flintlib/python-flint issues and pull requests
Labelled with: type: workflow
#213 - Rename `master` to `main`
Issue -
State: closed - Opened by GiacomoPope about 1 year ago
- 4 comments
Labels: type: workflow
#204 - first sketch of cython-lint workflow
Pull Request -
State: closed - Opened by fchapoton about 1 year ago
- 8 comments
Labels: type: workflow
#184 - doctests for `flint.types.arb` take a very long time
Issue -
State: closed - Opened by GiacomoPope over 1 year ago
- 9 comments
Labels: type: workflow
#52 - Python 3.12, pyproject.toml, distutils and a new build system
Issue -
State: closed - Opened by oscarbenjamin over 2 years ago
- 17 comments
Labels: type: workflow