Travis CI change history: Some build requests are not being triggered.

Travis CI reported a major incident in which some build requests triggered through the API and Git push were not processed. The recorded start was 2022-05-17 06:21 UTC; it was marked resolved at 2022-05-17 03:00 UTC, but duration is unknown. The update said the root cause was still under investigation; no fix was stated.