#252 (Nov 14, 2023, 9:25:28 AM)

1. [577992] Switch buddy to default plugin (details)

Triggered by Gerrit: https://git.eclipse.org/r/c/mmt/org.eclipse.qvto/+/205488

This run spent:

• 9 min 12 sec waiting;
• 3 min 58 sec build duration;
• 13 min total from scheduled to completion.

• refs/changes/88/205488/1