Skip to content
[Jenkins]Jenkins
log in
Started 1 yr 0 mo ago
Took 9 min 28 sec

Build #16 (May 18, 2023, 10:31:32 AM)

Started by user Joe deKoning

This run spent:

  • 0.65 sec waiting;
  • 9 min 28 sec build duration;
  • 9 min 28 sec total from scheduled to completion.
Revision: ce54948f8567d7b68ac6642f0876b77fe6451cac
Repository: https://github.com/jdekonin/omr.git
  • refs/remotes/origin/master