Skip to content
Started 1 mo 24 days ago
Took 13 min on workermtahpc
Success

#5010 (Feb 24, 2024, 11:18:34 PM)

Changes

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

  1. clarified versions for documentation; (detail / hgweb)

Started by an SCM change

This run spent:

  • 3 min 31 sec waiting;
  • 13 min build duration;
  • 17 min total from scheduled to completion.
Revision: 54d0f6edfe3a00679bc1d1069f0cb7129c86111a
Revision: 9fe22db3f8a8ca66e6e0eec617cdbb843dcd4b93