(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 -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/E1jIJZI-0007kM-D3%40rmmprod07.runbox.
