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

Build #1817 (Mar 8, 2023, 10:33:46 AM)

PR #6921: Rename OMR_SCAVENGER_CACHE_...

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

This run spent:

  • 6.6 sec waiting;
  • 12 sec build duration;
  • 19 sec total from scheduled to completion.