Skip to content
Started 1 yr 4 mo ago
Took 25 min on workermtahpc
Success

#4102 (Nov 22, 2022, 8:02:05 PM)

Changes

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

  1. merged (detail)
  2. removed Restricted_Predicates.reflp_on following the introduction of equivalent Relation.reflp_on in HOL (detail)
  3. removed Restricted_Predicates.total_on following the introduction of equivalent Relation.totalp_on in HOL (detail)

Started by an SCM change

This run spent:

  • 2 min 3 sec waiting;
  • 25 min build duration;
  • 27 min total from scheduled to completion.
Revision: 41c92fcb8805d6284e514670d8d9bcf1c4a4a41b
Revision: da2bce68bc3122aa3656421828841d63ae0da4af