Build #208 (Oct 13, 2023, 4:44:39 PM)

Triggered by Gerrit: https://git.eclipse.org/r/c/jgit/jgit/+/204930

This run spent:

• 22 sec waiting;
• 41 sec build duration;
• 48 sec total from scheduled to completion.