Skip to content
[Jenkins]Jenkins
log in
Started 11 mo ago
Took 1 min 8 sec

Build #17 (May 18, 2023, 3:09:22 PM)

Started by user Joe deKoning

This run spent:

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