Tobias Nipkow found the issue. A line in the proof of frechet_vec_nth. Reduced the ROOT file's timeout to 1500.
Description
Description
Details
Details
- Provenance
Jonathan Julian Huerta y Munive <jonjulian23@gmail.com> Authored on - Parents
- rAFP2002acaf36cc: jenkins/job/isabelle-all still reports fail to build because of timeout. Tested…
- Branches
- Unknown
- Tags