Skip to content
Started 11 hr ago
Took 36 min on workermtahpc
Success

#5340 (Jun 23, 2024, 3:08:07 PM)

Changes

Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

  1. proper platform_path for Windows; (detail)
  2. proper Isabelle/ML, notably file IO operations; (detail)

Started by an SCM change

This run spent:

  • 2 min 4 sec waiting;
  • 36 min build duration;
  • 38 min total from scheduled to completion.
Revision: b8c5b23ce24c8703e97ad0310b9f72cf109b615e
Revision: 2629a68d69aecda1fc550e924847e3c5654ca791