Skip to content
[Jenkins]Jenkins
log in
Started 1 yr 3 mo ago
Took 1 min 15 sec
Success

Build #1792 (Mar 5, 2023, 7:31:35 PM)

PR #6915: Disable OMR_WARNINGS_AS_ERR...

GitHub pull request #6915 of commit 618ef921a698ec6b1f3bca0b51d6e719cba33ab0, no merge conflicts.

This run spent:

  • 5.1 sec waiting;
  • 1 min 15 sec build duration;
  • 1 min 20 sec total from scheduled to completion.