Closed orende closed 1 year ago
Replace the Travis CI build status badge with an equivalent Github Actions build status badge, since we no longer use Travis CI.
Replace the Travis CI build status badge with an equivalent Github Actions build status badge, since we no longer use Travis CI.