Travis (Continuous Integration) results not showing on GitHub

[David A. Wheeler]

All:

Our continuous integration tests (the tests run when you create a pull request)
are being run but their results are *not* being shown on GitHub.
This has been working for a long while, so what's changed is unknown.
I did some poking around but it's currently a mystery to me :-(.

If anyone has suggestions on why, or more importantly, how to fix it,
please post suggestions to this issue (that we're using to track it):
https://github.com/metamath/set.mm/issues/1555

The tests are being *run*, we just don't see them directly on GitHub.

As a temporary workaround, you can go to this page to see their
status/results:

https://travis-ci.org/github/metamath/set.mm/builds

Sorry for the inconvenience. Any help would be appreciated...!

--- David A. Wheeler

[David A. Wheeler]

(Replying to myself)

> Our continuous integration tests (the tests run when you create a pull request)
> are being run but their results are *not* being shown on GitHub.

... and now it's working again. I wish I could take credit :-).

I suspect that there was a temporary problem at GitHub and/or Travis and/or
the networks between them. Many computer systems and networks are under
larger stresses than usual due to COVID-19, for example.

If the CI process stays working, I'll close the issue.

If it *stops* working again soon, please report your experiences here:

https://github.com/metamath/set.mm/issues/1555

Thanks!

--- David A. Wheeler