Build #20 (Jun 22, 2023, 9:18:23 AM)

1. reodering the CI for proper compilation ot repairnator-core (details / githubweb)

Pull request #1260 updated at 9:18:09 AM on Jun 22, 2023

This run spent:

• 35 sec waiting;
• 9 min 19 sec build duration;
• 9 min 25 sec total from scheduled to completion.

• PR-1260