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

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.