Started 1 mo 28 days ago
Took 49 min on workermtahpc

Build #3820 (Aug 3, 2022, 1:56:02 PM)

Changes

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

  1. added two lemmas to relational chains (detail)

Started by an SCM change

This run spent:

  • 2 min 0 sec waiting;
  • 49 min build duration;
  • 51 min total from scheduled to completion.
Revision: dcd3ef2905d61cd0bbb04112cacc6b6f4702321b
Revision: 1e9471f837af56fbc75a3979cd8f0a14144917d8