Jason Gross

created

Build status

[CANCELLED] Cancelled build

  • Started
  • Finished (took 9 days, 0 hours, 29 minutes, 51.2 seconds)

Build details

Recipe:
Recipe coq-master-daily for Jason Gross
Archive:
Coq Daily Builds (master)
Series:
Trusty
Pocket:
Release
Binary builds:
None