Skip to content
[Jenkins]Jenkins
log in
Started 9 days 12 hr ago
Took 13 min
Success

Build #4023 (Jun 17, 2024, 9:51:26 AM)

Changes
  1. Delete TR::SelectOpt, which is unused (commit: 803891a) (details / githubweb)

Generic Cause

This run spent:

  • 5.9 sec waiting;
  • 13 min build duration;
  • 13 min total from scheduled to completion.
Revision: 59032a80cd43fedb6e53fa396c69c2670d1e7c3a
Repository: https://github.com/eclipse/omr.git
  • refs/remotes/origin/master
Test Result (no failures)