jenkins/job/isabelle-all still reports fail to build because of timeout. Tested dependencies but they work. Increased timeout time in ROOT file again.
Jonathan Julian Huerta y Munive <email@example.com> Mon, Feb 3, 4:51 PM
- rAFP61c386d0635b: Increased timeout in ROOT file to avoid fails while building the entry.