Skip to content
[Jenkins]Jenkins
log in
Started 1 mo 11 days ago
Took 11 min
Success

Build #3488 (Jul 8, 2024, 4:55:38 PM)

PR #7400: Add options to select the t...
ub20-x64-omr12

GitHub pull request #7400 of commit bcf5c45d8ffeec198ce741dbb73a74c29a6d349d, no merge conflicts.

This run spent:

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