Build #33 (Nov 24, 2022, 12:12:27 PM)

1. try with "migration" (details / githubweb)

Started by user Lorenzo Bettini

This run spent:

• 0.14 sec waiting;
• 15 sec build duration;
• 16 sec total from scheduled to completion.

• origin/xtext-2.28-2022-09

Queue task was cancelled