Skip to content
Started 1 mo 7 days ago
Took 20 min on workermtahpc
Failed

#5270 (May 17, 2024, 10:16:15 AM)

Changes

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

  1. adjust proof from AFP 2024 to AFP devel (detail)

Started by an SCM change

This run spent:

  • 2 min 3 sec waiting;
  • 20 min build duration;
  • 22 min total from scheduled to completion.
Revision: 1478555580af5b0467c355320a0c8c00034fd5a3
Revision: 22d1dc7380c27eb3f160bab76faebae1f670b6c3
Failed entries: