SEALS See the SEALS documentation for full details. Developer notes To manually (wihtout using github actions) push a new release to Pypi, run the following command: python -m build python -m twine upload dist/*