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

Build #1797 (Mar 5, 2023, 9:10:25 PM)

PR #6915: Disable OMR_WARNINGS_AS_ERR...

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

This run spent:

  • 5.8 sec waiting;
  • 33 sec build duration;
  • 39 sec total from scheduled to completion.