[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