Started 1 mo 6 days ago
Took 26 min
GitHub pull request #7292 of commit 1762b07cddbfa8ff5de9954eb1c629538cd2728e, no merge conflicts. | |
This run spent:
| |
Revision: 70a91d758430bb369d183f4cbebfc9c217e737a1
Repository: git@github.com:eclipse/omr.git
|