Closed matthiasdiener closed 3 years ago
This is ready for review @mattip @fijal. I can't see whether it is building on Travis, but it works fine on my ppc64le machine.
It turns out this repo was building with travis-ci.org, which has shut down. We should have migrated to travis-ci.com. I am doing it now.
close/reopen to trigger travis-ci.com
close/reopen to trigger travis-ci.com
@matthiasdiener can you push an empty commit to hopefully trigger CI git commit -m "trigger CI" --allow-empty; git push
hmm, maybe it will only trigger on new PRs?
hmm, maybe it will only trigger on new PRs?
I opened #239 to test this but it seems to make no difference :-(
TODO:- [x] add to Travis CI