#74 introduced python stub files which are currently manually generated.
We should adopt some way of automatically generating those stub files either through the pyproject.toml or through the Github-CI, and somehow include them from the pyproject.toml instead of using a shell script
Some references:
#74 introduced python stub files which are currently manually generated.
We should adopt some way of automatically generating those stub files either through the
pyproject.tomlor through the Github-CI, and somehow include them from thepyproject.tomlinstead of using a shell scriptSome references: