Build #22 (Dec 16, 2022, 1:33:49 AM)

1. use https (details / githubweb)

Started by user Christian Dietrich

This run spent:

• 0.15 sec waiting;
• 50 sec build duration;
• 50 sec total from scheduled to completion.

• refs/remotes/origin/master