#3507 (Nov 5, 2023, 8:05:54 AM)

Triggered by Gerrit: https://git.eclipse.org/r/c/viatra/org.eclipse.viatra/+/205309

This run spent:

• 17 sec waiting;
• 13 min build duration;
• 13 min total from scheduled to completion.

• refs/changes/09/205309/4