Closed GiovanH closed 1 year ago
No idea what's wrong with that build step but it's not related to the change.
Thanks! I will review asap
@GiovanH: Thanks for the submission. Don't worry about the pre-commit.ci error, which I believe I resolved in the main
branch. Once @lgiordani has reviewed the changes, and this PR is ready to merge, we can use the Update branch button (which I just enabled on this repo) to rebase this PR on main
and pick up those aforementioned improvements.
Checks are all green here, so this PR can be merged once @lgiordani has a moment to review it.
@GiovanH apologies for the long time it took me to have a look and thanks for your contribution!
Resolves #24