Skip to content
Started 1 mo 21 days ago
Took 4 hr 33 min on workermtahpc
Failed

#5016 (Feb 27, 2024, 8:18:04 PM)

Changes

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

  1. merged (detail / hgweb)
  2. tuned name (detail / hgweb)
  3. new simplifier trace_op for tracing simproc calls (detail / hgweb)
  4. merged (detail / hgweb)
  5. Some new material about Ramsey's theorem, also sharpening the proof to deliver the Erdős–Szekeres upper bound on Ramsey numbers (detail / hgweb)

Started by an SCM change

This run spent:

  • 2 min 2 sec waiting;
  • 4 hr 33 min build duration;
  • 4 hr 35 min total from scheduled to completion.
Revision: 407f201b7f22c401634b21ae76ad6f92608c4338
Revision: ddf90847bfa520b711169ebacc9d22f0d76ee8b3
Failed entries: