Skip to content
Started 20 hr ago
Took 4 hr 50 min on workermta1
Failed

#34 (Mar 27, 2024, 10:09:14 PM)

Changes
  1. proper Go setup, following Isabelle/1e7d4372fe3d; (detail / hgweb)
  2. tuned proofs: avoid z3 to make it work on arm64-linux; (detail / hgweb)
  3. tuned proofs: avoid z3 to make it work on arm64-linux; (detail / hgweb)
  4. tuned proofs: avoid z3 to make it work on arm64-linux; (detail / hgweb)
  5. tuned proofs: avoid z3 to make it work on arm64-linux; (detail / hgweb)
  6. tuned proofs: avoid z3 to make it work on arm64-linux; (detail / hgweb)
  7. updates to new time function generator that now translates undefined to undefined, not 0 (detail / hgweb)
  8. Fixes mostly for log_mono aliasing (detail / hgweb)
  9. Brought this new entry up-to-date with the development version (detail / hgweb)

Started by an SCM change

This run spent:

  • 12 sec waiting;
  • 4 hr 50 min build duration;
  • 4 hr 50 min total from scheduled to completion.
Revision: 8d82590719152f74550469f651d3ebcb356ef68d