Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 4 mo ago
Took 2 hr 54 min on built-in
Failed

#54 (Feb 15, 2016, 11:30:15 AM)

Changes
  1. strange interaction with change by Max Haslbeck (detail / hgweb)
  2. merged (detail / hgweb)
  3. already defined elsewhere (detail / hgweb)
  4. separated proof steps in umformung_OPT (detail / hgweb)

Started by an SCM change

Revision: 8a9f320ed763b1b95c9995a5b06ed5b84787eae4
Resume build
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #54( 2 hr 54 min )Console Output