Is this a known spurious ci error <https travis ci org pants Pants #general

Is this a known spurious ci error: <https://travis...

h

happy-kitchen-89482

08/05/2019, 3:08 PM

Is this a known spurious ci error: https://travis-ci.org/pantsbuild/pants/jobs/567426836 ?