Skip to content
[Jenkins]Jenkins
log in
Started 5 yr 8 mo ago
Took 15 min
Success

Build #20 (Oct 12, 2018, 2:53:32 PM)

Started by user Charlie Gracie

Revision: a07144466446b0835ad41526112221b5db383bca
Repository: https://github.com/eclipse/omr.git
  • origin/master