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

#163 (Apr 20, 2016, 3:59:11 PM)

Changes
  1. merged (detail / hgweb)
  2. reactivated other_id reports (see also db929027e701, 8eda56033203); (detail / hgweb)
  3. invisible context similar to interpretation; (detail / hgweb)
  4. avoid massive multiplication of reports due to interpretation; (detail / hgweb)
  5. tuned comments; (detail / hgweb)
  6. more thorough update; (detail / hgweb)

Started by an SCM change

Revision: b07c9f5d38027d0b69106e841bec7a7b6c75da71
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #163( 1 hr 27 min )Console Output
isabelle-repo-afpbuild #163( 3 hr 34 min )Console Output