Release version v0.14.2
FlorianK13 opened this issue · comments
Florian Kotthoff commented
Release Date: 2024-04-04
Fixing issues, mainly because of the new data version of MaStR - 202404:
- Add versions to
changelog.md
- Fix and update package metadata in
setup.py
- Update
citation.cff
- Release on github
Florian Kotthoff commented
Release failed on pypi, hence we need to repair tests and do a new release soon!