Skip to content
[Jenkins]Jenkins
log in
Started 4 mo 21 days ago
Took 20 min

Build #4209 (Dec 15, 2023, 5:30:17 PM)

PR #7205: Delete now-unnecessary TR_R...
eclipseomr-2

GitHub pull request #7205 of commit e183807923d8e0dc98e1b203ae18312e67fd4d61, no merge conflicts.

This run spent:

  • 12 sec waiting;
  • 20 min build duration;
  • 20 min total from scheduled to completion.
Test Result (no failures)