Skip to content
[Jenkins]Jenkins
log in
Started 1 yr 2 mo ago
Took 9.2 sec

Build #1796 (Mar 5, 2023, 8:39:30 PM)

PR #6915: Disable OMR_WARNINGS_AS_ERR...

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

This run spent:

  • 9.9 sec waiting;
  • 9.2 sec build duration;
  • 19 sec total from scheduled to completion.