jenkins/job/isabelle-all still reports fail to build because of timeout. Tested dependencies but they work. Increased timeout time in ROOT file again.
Description
Description
Details
Details
- Provenance
Jonathan Julian Huerta y Munive <jonjulian23@gmail.com> Authored on - Parents
- rAFP61c386d0635b: Increased timeout in ROOT file to avoid fails while building the entry.
- Branches
- Unknown
- Tags