travis-ci is acting strangely and throws some errors, we might want to move to github actions (or another CI)