Closed stdtom closed 3 years ago
Just saw that the Travis CI integration for this repo broke. You might need to choose a free plan on Travis (again) to get it started again. see https://travis-ci.community/t/oh-no-an-error-occurred-the-job-could-not-be-restarted/11193/12.
CI pipelines for githug have been failing for 2 years now due to the following issues:
This PR tackles the issues described above with the aim to make the CI pipeline to pass again.