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 -- 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/E1jIJFg-0006H5-8c%40rmmprod07.runbox.
