[isabelle-dev] Fwd: [Isabelle-ci] Build failed in Jenkins: afp-repo-checkin #80

[Lawrence Paulson]

Forgive me if I’m overlooking something obvious, but the attached message about a failure in the AFP doesn’t seem to include any clue as to which of the 200+ entries actually failed. I spent a little time poking around https://ci.isabelle.systems/jenkins/  without learning anything more. Is there a way of getting a little more information out of this system?

Larry

> Begin forwarded message:
> 
> From: Isabelle CI <ci at isabelle.systems>
> Subject: [Isabelle-ci] Build failed in Jenkins: afp-repo-checkin #80
> Date: 23 February 2016 at 19:33:46 GMT
> To: isabelle-ci at mail46.informatik.tu-muenchen.de
> 
> Changes:
> 
> [paulson <lp15 at cam.ac.uk>] updated proofs because distance_attains_inf is now expressed using "obtains"
> 
> ------------------------------------------
> Started by an SCM change
> [EnvInject] - Loading node environment variables.
> Building on master in workspace /var/lib/jenkins/jobs/afp-repo-checkin/workspace
> [workspace] $ hg showconfig paths.default
> [workspace] $ hg pull --rev default
> pulling from https://bitbucket.org/isa-afp/afp-devel/
> no changes found
> [workspace] $ hg update --clean --rev default
> 2 files updated, 0 files merged, 0 files removed, 0 files unresolved
> [workspace] $ hg log --rev . --template {node}
> [workspace] $ hg log --rev . --template {rev}
> [workspace] $ hg log --rev ad4c7ddd1021b2af4c0b9bed2ef9280d3d84fe3f
> changeset:   6367:ad4c7ddd1021
> user:        hoelzl
> date:        Mon Feb 22 15:18:09 2016 +0100
> summary:     fixed proof after generalizing setsum_nonneg_0 (Isabelle 85ed00c1fe7c)
> 
> [workspace] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev default:0 --follow --prune ad4c7ddd1021b2af4c0b9bed2ef9280d3d84fe3f --encoding UTF-8 --encodingmode replace
>>> Job status: [afp-repo-afp] the 'build only if scm changes' feature is disabled.
> Starting build job afp-repo-afp.
> Finished Build : #80 of Job : afp-repo-afp with status : FAILURE
> _______________________________________________
> Isabelle-ci mailing list
> Isabelle-ci at mail46.informatik.tu-muenchen.de
> https://mailman46.informatik.tu-muenchen.de/mailman/listinfo/isabelle-ci