Tobias Nipkow found the issue. A line in the proof of frechet_vec_nth. Reduced the ROOT file's timeout to 1500.
Jonathan Julian Huerta y Munive <email@example.com> Feb 3 2020, 5:26 PM
- rAFP2002acaf36cc: jenkins/job/isabelle-all still reports fail to build because of timeout. Tested…