Skip to content
Started 1 yr 1 mo ago
Took 11 sec on workerls211
Failed

#280 (Mar 31, 2023, 1:27:04 AM)

Changes

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

  1. added another simplification rule when alternatives are equal (detail)

Started by an SCM change

This run spent:

  • 2 min 2 sec waiting;
  • 11 sec build duration;
  • 2 min 14 sec total from scheduled to completion.
Revision: c6c4069a86f3e901d95e529d344b952de039e76c
Revision: 6bc96b722875fee020b9dc666d2dc769ce8c5aab
Revision: 5f4aa37e3b486e6a77ccd50520939ea51d40ed9d
Repository: https://github.com/isabelle-prover/isabelle-context-build.git
  • refs/remotes/origin/master