In the meantime, they are available here: https://travis-ci.org/github/metamath/set.mm/pull_requests
Benoit On Friday, August 21, 2020 at 12:54:05 PM UTC+2 David A. Wheeler wrote: > All: The Metamath Continuous Integration pipeline is run on Travis. It is > continuing to be run, but for some reason the test results are not reliably > displaying on GitHub. > > I will look into this later when I have a chance, to see how to fix this. > > Sorry for the inconvenience! > > --- 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/a5540b18-c847-4dbb-acae-43dab7a6a30an%40googlegroups.com.
