We may need to revoke Travis' access and then restore it: https://travis-ci.community/t/github-pr-is-being-built-but-result-is-not-shown/7025
Yet another variant of turn it off and back on it again. I don't have time to do that right now but I hope to do it tomorrow. If anyone has a better idea let me know. --- 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/15F97BD9-BFC3-4BA5-958D-13B213A6DF5B%40dwheeler.com.
