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

Build #1819 (Mar 8, 2023, 1:21:46 PM)

PR #6921: Rename OMR_SCAVENGER_CACHE_...

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

This run spent:

  • 5.7 sec waiting;
  • 15 sec build duration;
  • 21 sec total from scheduled to completion.