Skip to content
[Jenkins]Jenkins
log in
Started 1 mo 20 days ago
Took 1 min 25 sec on workermtahpc
Success

#853 (Apr 12, 2024, 11:29:04 AM)

Changes

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

  1. merged (detail)
  2. Tidying ugly proofs (detail)

Started by an SCM change

This run spent:

  • 2 min 2 sec waiting;
  • 1 min 25 sec build duration;
  • 3 min 27 sec total from scheduled to completion.
Revision: 83fa23ca40e55c7a8f5e4d539b55ac103d1391dd
Revision: c53dd7826fa1ae0b0afdaee5d22cb90dc5ec7a0d
Repository: https://github.com/isabelle-prover/isabelle-tools-collection.git
  • refs/remotes/origin/master