Started 1 mo 7 days ago
Took 4 min 53 sec
GitHub pull request #7292 of commit c92e651cb35a196a0e3bbfc78f8c8cce70b87fe3, no merge conflicts. | |
This run spent:
| |
Revision: 0babdb1179b1b32816bf9b283f9e1c8f9cf01ba6
Repository: https://github.com/eclipse/omr.git
| |
Aborted by user anonymous |