[Qa-jenkins-scm] Build failed in Jenkins: reproducible_builder_amd64_1 #20250
jenkins at jenkins.debian.net
jenkins at jenkins.debian.net
Sat Jan 9 00:49:11 UTC 2016
See <https://jenkins.debian.net/job/reproducible_builder_amd64_1/20250/>
------------------------------------------
[...truncated 6972 lines...]
TEST bugs/closed/1773.v
TEST bugs/closed/3709.v
TEST bugs/closed/HoTT_coq_027.v
TEST bugs/closed/HoTT_coq_102.v
TEST bugs/closed/4217.v
TEST bugs/closed/3045.v
TEST bugs/closed/3217.v
TEST bugs/closed/3672.v
TEST bugs/closed/1519.v
TEST bugs/closed/1618.v
TEST bugs/closed/2584.v
TEST bugs/closed/2255.v
TEST bugs/closed/HoTT_coq_117.v
TEST bugs/closed/1754.v
TEST bugs/closed/3692.v
TEST bugs/closed/3664.v
TEST bugs/closed/2613.v
TEST bugs/closed/2342.v
TEST bugs/closed/3656.v
TEST bugs/closed/HoTT_coq_067.v
TEST bugs/closed/3896.v
TEST bugs/closed/2353.v
TEST bugs/closed/3637.v
TEST bugs/closed/2123.v
TEST bugs/closed/4018.v
TEST bugs/closed/1576.v
TEST bugs/closed/HoTT_coq_087.v
TEST bugs/closed/3815.v
TEST bugs/closed/3661.v
TEST bugs/closed/1951.v
TEST bugs/closed/HoTT_coq_012.v (-indices-matter)
TEST bugs/closed/HoTT_coq_111.v
TEST bugs/closed/3010b.v
TEST bugs/closed/3054.v
TEST bugs/closed/3260.v
TEST bugs/closed/3287.v
TEST bugs/closed/3978.v
TEST bugs/closed/3477.v
TEST bugs/closed/1100.v
TEST bugs/closed/3382.v
TEST bugs/closed/1425.v
TEST bugs/closed/2602.v
TEST bugs/closed/4216.v
TEST bugs/closed/1891.v
TEST bugs/closed/3638.v
TEST bugs/closed/HoTT_coq_079.v
TEST bugs/closed/3616.v
TEST bugs/closed/HoTT_coq_059.v (-indices-matter)
TEST bugs/closed/4283.v
TEST bugs/closed/3633.v
TEST bugs/closed/4165.v
TEST bugs/closed/3164.v
TEST bugs/closed/3732.v
TEST bugs/closed/2668.v
TEST bugs/closed/3324.v
TEST bugs/closed/3319.v
TEST bugs/closed/4372.v
TEST bugs/closed/3736.v
TEST bugs/closed/3670.v
TEST bugs/closed/HoTT_coq_058.v
TEST bugs/closed/HoTT_coq_094.v
TEST bugs/closed/3372.v
TEST bugs/closed/2830.v
TEST bugs/closed/HoTT_coq_110.v
TEST bugs/closed/3336.v
TEST bugs/closed/3723.v
TEST bugs/closed/1935.v
TEST bugs/closed/2295.v
TEST bugs/closed/HoTT_coq_084.v
TEST bugs/closed/3892.v
TEST bugs/closed/1604.v
TEST bugs/closed/4366.v
TEST bugs/closed/545.v
TEST bugs/closed/2141.v
TEST bugs/closed/1411.v
TEST bugs/closed/3386.v
TEST bugs/closed/3625.v
TEST bugs/closed/1774.v
TEST bugs/closed/3560.v
TEST bugs/closed/HoTT_coq_014.v
TEST bugs/closed/4305.v
TEST bugs/closed/2946.v
TEST bugs/closed/3300.v
TEST bugs/closed/HoTT_coq_041.v
TEST bugs/closed/3305.v
TEST bugs/closed/2243.v
TEST bugs/closed/HoTT_coq_064.v
TEST bugs/closed/3666.v
TEST bugs/closed/1243.v
TEST bugs/closed/3004.v
TEST bugs/closed/3348.v (-indices-matter)
TEST bugs/closed/1416.v
TEST bugs/closed/2670.v
TEST bugs/closed/3948.v
TEST bugs/closed/3690.v
TEST bugs/closed/3016.v
TEST bugs/closed/3684.v
TEST bugs/closed/3922.v
TEST bugs/closed/3481.v
TEST bugs/closed/1844.v
TEST bugs/closed/HoTT_coq_056.v
TEST bugs/closed/808_2411.v
TEST bugs/closed/3491.v
TEST bugs/closed/HoTT_coq_089.v
TEST bugs/closed/3205.v
TEST bugs/closed/HoTT_coq_047.v
TEST bugs/closed/329.v
TEST bugs/closed/3628.v
TEST bugs/closed/4354.v
TEST bugs/closed/3899.v
TEST bugs/closed/3228.v
TEST bugs/closed/2837.v
TEST bugs/closed/4276.v
TEST bugs/closed/2951.v
TEST bugs/closed/1419.v
TEST bugs/closed/2244.v
TEST bugs/closed/2732.v
TEST bugs/closed/2464.v
TEST bugs/closed/4097.v
TEST bugs/closed/2995.v
TEST bugs/closed/3251.v
TEST bugs/closed/2149.v
TEST bugs/closed/3563.v
TEST bugs/closed/2251.v
TEST bugs/closed/2818.v
TEST bugs/closed/3755.v
TEST bugs/closed/2137.v
TEST bugs/closed/2810.v
TEST bugs/closed/3490.v
TEST bugs/closed/3480.v
TEST bugs/closed/3520.v
TEST bugs/closed/HoTT_coq_048.v
TEST bugs/closed/3408.v
TEST bugs/closed/3330.v
TEST bugs/closed/2775.v
TEST bugs/closed/2848.v
TEST bugs/closed/HoTT_coq_100.v
TEST bugs/closed/3453.v
TEST bugs/closed/4347.v
TEST bugs/closed/1582.v
TEST bugs/closed/2406.v
TEST bugs/closed/2095.v
TEST bugs/closed/HoTT_coq_057.v
TEST bugs/closed/1446.v
TEST bugs/closed/3424.v
TEST bugs/closed/2378.v
TEST bugs/closed/HoTT_coq_001.v
TEST bugs/closed/3354.v
TEST bugs/closed/3347.v
TEST bugs/closed/HoTT_coq_115.v
TEST bugs/closed/2883.v
TEST bugs/closed/2303.v
TEST bugs/closed/3594.v
TEST bugs/closed/HoTT_coq_055.v (-indices-matter)
TEST bugs/closed/3326.v
TEST bugs/closed/2250.v
TEST bugs/closed/3281.v
TEST output/Nametab.v
TEST output/Arguments.v
TEST output/Record.v
TEST output/ltac.v
TEST output/InitSyntax.v
TEST output/Coercions.v
TEST output/SearchHead.v
TEST output/ZSyntax.v
TEST output/reduction.v
TEST output/PrintAssumptions.v
TEST output/inference.v
TEST output/Intuition.v
TEST output/Quote.v
TEST output/simpl.v
TEST output/Inductive.v
TEST output/NumbersSyntax.v
TEST output/Implicit.v
TEST output/Extraction_matchs_2413.v
TEST output/TranspModtype.v
TEST output/Search.v
TEST output/Fixpoint.v
TEST output/RealSyntax.v
TEST output/set.v
TEST output/SearchPattern.v
TEST output/Match_subterm.v
TEST output/Naming.v
TEST output/Errors.v
TEST output/Notations2.v
TEST output/ArgumentsScope.v
TEST output/rewrite-2172.v
TEST output/Tactics.v
TEST output/Arguments_renaming.v
TEST output/names.v
TEST output/PrintInfos.v
TEST output/Sum.v
TEST output/Cases.v
TEST output/SearchRewrite.v
TEST output/PrintModule.v
TEST output/Notations.v
TEST output/Existentials.v
TEST interactive/ParalITP.v
TEST interactive/ParalITP_smallproofs.v
TEST interactive/4289.v
TEST interactive/Evar.v
TEST interactive/Back.v
TEST micromega/qexample.v
TEST micromega/bertot.v
TEST micromega/example.v
TEST micromega/zomicron.v
TEST micromega/heap3_vcgen_25.v
TEST micromega/square.v
TEST micromega/rexample.v
TEST modules/mod_decl.v
TEST modules/errors.v
TEST modules/plik.v
TEST modules/objects2.v
TEST modules/objects.v
TEST modules/modul.v
TEST modules/nested_mod_types.v
TEST modules/ind.v
TEST modules/resolver.v
TEST modules/grammar.v
TEST modules/Demo.v
TEST modules/pliczek.v
TEST modules/subtyping.v
TEST modules/pseudo_circular_with.v
TEST modules/injection_discriminate_inversion.v
TEST modules/Tescik.v
TEST modules/obj.v
TEST modules/modeq.v
TEST modules/PO.v
TEST modules/fun_objects.v
TEST modules/Nat.v
TEST modules/Przyklad.v
TEST modules/sig.v
TEST modules/sub_objects.v
TEST stm/Nijmegen_QArithSternBrocot_Zaux.v
Terminated
Sat 9 Jan 00:49:08 UTC 2016 - /srv/jenkins/bin/reproducible_build.sh stopped running as /tmp/jenkins-script-ClunZcxv, which will now be removed.
Sat 9 Jan 00:49:08 UTC 2016 - /srv/jenkins/bin/reproducible_build.sh stopped running as /tmp/jenkins-script-ClunZcxv, which will now be removed.
/srv/reproducible-results/rbuild-debian-xDQOcGd0/tmp.UPJIAyVQVI: 42.7% -- replaced with /srv/reproducible-results/rbuild-debian-xDQOcGd0/tmp.UPJIAyVQVI.gz
INFO: Starting at 2016-01-09 00:49:09.178972
INFO: Finished at 2016-01-09 00:49:09.523187, took: 0:00:00.344239
FATAL: null
java.lang.NullPointerException
at hudson.plugins.build_timeout.BuildTimeoutWrapper$EnvironmentImpl.tearDown(BuildTimeoutWrapper.java:199)
at hudson.model.Build$BuildExecution.doRun(Build.java:173)
at hudson.model.AbstractBuild$AbstractBuildExecution.run(AbstractBuild.java:537)
at hudson.model.Run.execute(Run.java:1741)
at hudson.model.FreeStyleBuild.run(FreeStyleBuild.java:43)
at hudson.model.ResourceController.execute(ResourceController.java:98)
at hudson.model.Executor.run(Executor.java:408)
More information about the Qa-jenkins-scm
mailing list