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

Build #15 (May 18, 2023, 9:13:12 AM)

Started by user Joe deKoning

This run spent:

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