Skip to content
[Jenkins]Jenkins
log in
Started 1 mo 16 days ago
Took 19 min

Build #4252 (Mar 11, 2024, 6:57:34 PM)

PR #7282: Facilitate recording of con...
eclipseomr-2

GitHub pull request #7282 of commit d87f2bbeef064b7a3c779c676aea897327698a3b, no merge conflicts.

This run spent:

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