Skip to content
[Jenkins]Jenkins
log in
Started 12 mo ago
Took 3 min 52 sec

Build #14 (May 18, 2023, 8:51:43 AM)

Started by user Joe deKoning

This run spent:

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