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