CI with Travis no longer works
The CI configured in the Travis file no longer works. The following error is displayed on the Travis site:
Since June 15th, 2021, the building on travis-ci.org is ceased. Please use travis-ci.com from now on.
Also, no GHC from the 8.x or 9.x Branch gets tested in this repo.