Closed deep-diver closed 5 months ago
closes #66
Thanks for the PR!
Sorry for the not working CI. My bad. can you run a git merge main to get a working CI?
git merge main
closes #66