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