Started 7 hr 25 min ago
Took 3 hr 34 min on workermta1

Build #633 (Jan 27, 2022, 1:27:10 PM)

Changes
  1. useful lemma integral_less (detail / hgweb)
  2. merged (detail / hgweb)
  3. treat 'using X by meson' as 'by (meson X)' to avoid loss of polymorphism (cf. metis) (detail / hgweb)
  4. fixed dodgy intro! attributes (detail / hgweb)

Started by an SCM change

This run spent:

  • 9.2 sec waiting;
  • 3 hr 34 min build duration;
  • 3 hr 34 min total from scheduled to completion.
Revision: 7483347efb4ca5b2eea6625aaea25031414036e6