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

Build #1820 (Mar 8, 2023, 1:22:57 PM)

PR #6921: Rename OMR_SCAVENGER_CACHE_...

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

This run spent:

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