Started 2 days 6 hr ago
Took 1 hr 53 min on workermtahpc

Success Build #396 (Oct 25, 2020 11:48:11 PM)

Changes
  1. merged (detail / hgweb)
  2. tuned interfaces (detail / hgweb)
  3. tuned (detail / hgweb)
  4. index for https://isabelle.in.tum.de/components (or clones); (detail / hgweb)
  5. enforce strict nesting of local theories (detail / hgweb)
  6. tuned names: t_ -> T_ (detail / hgweb)
  7. merged (detail / hgweb)
  8. tuned names (detail / hgweb)
  9. support arm64-linux; (detail / hgweb)
  10. tidying and de-applying (detail / hgweb)

Started by an SCM change

This run spent:

  • 9.7 sec waiting;
  • 1 hr 53 min build duration;
  • 1 hr 53 min total from scheduled to completion.
Revision: a398b2a47aec4286c613140cdd2746cee08ffb1e