v0.1.2

• Fixed the release pipeline's badge job on tag pushes. It looked for the coverage report in the tag's own run, which skips the tests, and failed. It now reads coverage from the default-branch run of the same commit, so the coverage and version badges update on every release.