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

#138 (Apr 9, 2016, 12:47:14 AM)

Changes
  1. backout 930a30c1a9af: leads to odd effect of command-line options becoming persistent preferences; (detail / hgweb)
  2. eliminated ancient TTY-based Tactical.tracify and related global references; (detail / hgweb)
  3. updated according to 705d4c4003ea; (detail / hgweb)

Started by an SCM change

Revision: eed66ba99bd995b5d04df44214405511b94da438
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #138( 3 hr 36 min )Console Output
isabelle-repo-makeallbuild #138( 1 hr 14 min )Console Output