Travis CI - Pull Request and coverage/coveralls checks had stalled

In the recent PRs opened, these checks are not running anymore:


If reviving Travis CI or even maintaining it is not the preferred option going forward, we can use GitHub Actions instead. [Migrating to GitHub Actions](https://docs.github.com/en/actions/migrating-to-github-actions/manual-migrations/migrating-from-travis-ci-to-github-actions) should be straight forward.

Beginne damit, den im Issue gezeigten ins Stocken geratenen Pull Request und die Coverage-/Coveralls-Checks zu überprüfen, und lies anschließend den verlinkten Migrationsleitfaden von Travis CI zu GitHub Actions. Entscheide, ob das Projekt Travis CI wiederbeleben oder zu GitHub Actions migrieren sollte; abgeschlossen ist die Aufgabe, wenn die Checks bei aktuellen Pull Requests wieder ausgeführt werden.

Vom Indexierungsmodell aus dem Issue-Text verfasst.