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

Build #3 (May 15, 2023, 3:33:42 PM)

Started by user Joe deKoning

This run spent:

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