Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 2 mo ago
Took 3 hr 48 min on built-in
Success

#172 (Apr 29, 2016, 1:56:09 AM)

Changes
  1. re-tuned c9605a284fba, which impacts performance significantly (for unclear reasons) -- make AFP/Collections build again; (detail / hgweb)
  2. unfold is subject to unfold_abs_def (still inactive);
    tuned signature; (detail / hgweb)

Started by an SCM change

Revision: f009347b9072b60ffd2162ed914970e6ee7dbb37
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #172( 3 hr 47 min )Console Output
isabelle-repo-makeallbuild #172( 1 hr 22 min )Console Output