Skip to content
Started 12 days ago
Took 3 hr 9 min on workermtahpc
Failed

#2154 (Mar 16, 2024, 1:55:22 AM)

Changes
  1. merged (detail / hgweb)
  2. added lemmas antisymp_on_image, asymp_on_image, irreflp_on_image, reflp_on_image, symp_on_image, totalp_on_image, and transp_on_image (detail / hgweb)
  3. clarified names; (detail / hgweb)
  4. sketch & explore: TODO comments are addressed in parent commits (detail / hgweb)
  5. sketch & explore: reduce unnecessary type constraints (detail / hgweb)
  6. sketch & explore: replace functionality of `sketch` by more useful `nxsketch` (and remove `nxsketch`) (detail / hgweb)
  7. sketch & explore: use Active.sendback_markup_command to preserve indentation of generated proof text (detail / hgweb)
  8. change benchmark session to FOLP-ex (faster and less mean squared error than ZF-Constructible); (detail / hgweb)

Started by an SCM change

This run spent:

  • 1 hr 5 min waiting;
  • 3 hr 9 min build duration;
  • 4 hr 15 min total from scheduled to completion.
Revision: e6f0a93e2edd7265913fa23a861ab1b64ed3c4f4