Travis tests are not reliably showing on GitHub

David A. Wheeler

unread,

Aug 21, 2020, 6:54:05 AM8/21/20

to Metamath Mailing List

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

Benoit

unread,

Aug 22, 2020, 9:31:24 AM8/22/20

to Metamath

In the meantime, they are available here: https://travis-ci.org/github/metamath/set.mm/pull_requests

Benoit

David A. Wheeler

unread,

Aug 22, 2020, 3:56:08 PM8/22/20

to Benoit, Metamath

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

Reply all

Reply to author

Forward