Currently the old travis build is still a required build to merge PRs. But it does not seem to be working too well. Also we have transitioned to using GitHub actions for CI testing, which is more convenient because of the way it integrates so well with GitHub.
I will turn off the travis build and stop it being required for pull requests.
Currently the old travis build is still a required build to merge PRs. But it does not seem to be working too well. Also we have transitioned to using GitHub actions for CI testing, which is more convenient because of the way it integrates so well with GitHub.
I will turn off the travis build and stop it being required for pull requests.