Closed julianoes closed 3 years ago
This fixes the CI badge, as well as some small fixes that I came across, and fixes CI to run for the master branch (not main).
This fixes the CI badge, as well as some small fixes that I came across, and fixes CI to run for the master branch (not main).