Skip to content
[Jenkins]Jenkins
log in
Started 7 yr 9 mo ago
Took 1 hr 19 min on built-in
Failed

#452 (Sep 17, 2016, 11:54:06 AM)

Changes
  1. repair LaTeX dropout from f83ef97d8d7d (detail / hgweb)

Started by an SCM change

Revision: fa799a8e4adcecadd76bda615eae7e280ed2102e
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #452( 1 hr 18 min )Console Output
isabelle-repo-makeallbuild #452( 1 hr 5 min )Console Output