Started 4 days 5 hr ago
Took 1 min 10 sec on workermtahpc

Build #1782 (Sep 30, 2022, 12:50:10 AM)

Changes
  1. moved relevant theorems from theory Divides to theory Euclidean_Division (detail / hgweb)
  2. amend jenkins ci build; (detail / hgweb)
  3. restructured ci profile into modular ci build system; (detail / hgweb)

Started by an SCM change

This run spent:

  • 8.8 sec waiting;
  • 1 min 10 sec build duration;
  • 1 min 18 sec total from scheduled to completion.
Revision: 64e8d4afcf1075fa2601dda97448c1ee4eb244ae