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

Build #1818 (Mar 8, 2023, 11:41:01 AM)

PR #6921: Rename OMR_SCAVENGER_CACHE_...

GitHub pull request #6921 of commit a82eec3d0d3bdb724134aea7e9adfadf28166c9c, no merge conflicts.

This run spent:

  • 5.5 sec waiting;
  • 17 sec build duration;
  • 22 sec total from scheduled to completion.