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/7BBA6E79-31CF-4E2A-8C71-FEF8FC5C214D%40dwheeler.com.
