Started 7 yr 0 mo ago
Took 2 min 18 sec
on workermta1
Build Artifacts | |
No changes. | |
Started by upstream project isabelle-repo build number 975 | |
This run spent:
| |
Revision: c6e9c7d140ffae7caadf582eceebbe0c74552c32 | |
Revision: ac8ca3e9f3d345c45269573d0a3c317ab8dbcb12 |