Skip to content
Started 2 days 0 hr ago
Took 5 hr 5 min on workermta1
Success

#1010 (Mar 26, 2024, 2:37:33 PM)

Changes
  1. renamed lemma wfP_iff_ex_minimal to wfp_iff_ex_minimal (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 hr 1 min waiting;
  • 5 hr 5 min build duration;
  • 10 hr total from scheduled to completion.
Revision: 991557e0181447a6a0d31fe1b06805502cba10dd