Normally, a pull request shows a checklist showing both the travis and appveyor CI build status. However, travis seems to have ‘spontaneously’ disappeared from the check list; no (known) explicit changes made to the github project settings etc that would explain this.
Here is a picture of the github checks. Shown are the appveyor checks, normally there are 2 additional checks reporting the travis build status, but not anymore. And I don’t know why. Does any one know how to restore the travis CI build to the checks.
One more thing: travis builds the branches, it just seems perhaps not to be posting results to github.com anymore for the checklist.