v1.2.3

CoverageTools v1.2.3

Diff since v1.2.2

Closed issues:

• Request Travis Credits and/or migrate to another CI provider, e.g. GitHub actions (#46)

Merged pull requests:

• switch CI to GitHub Actions (#47) (@vtjnash)
• Remove LibGit2 from the list of dependencies (#52) (@DilumAluthge)