Drop badges in README
Back in 2020 with 1bd86090f0336db6a648a9adf6d8affe2e8bb4ef CI wasswitched over to GitHub Actions and the build status still links toTravis. Given nobody has noticed this, it's safe to delete this.
Drop badges in README
Back in 2020 with 1bd86090f0336db6a648a9adf6d8affe2e8bb4ef CI was
switched over to GitHub Actions and the build status still links to
Travis. Given nobody has noticed this, it's safe to delete this.