[Qa-jenkins-scm] Build failed in Jenkins: reproducible_builder_armhf_14 #8485
jenkins at jenkins.debian.net
jenkins at jenkins.debian.net
Fri Jul 1 09:11:36 UTC 2016
See <https://jenkins.debian.net/job/reproducible_builder_armhf_14/8485/>
------------------------------------------
[...truncated 7164 lines...]
TEST bugs/closed/3374.v
TEST bugs/closed/1243.v
TEST bugs/closed/3054.v
TEST bugs/closed/3260.v
TEST bugs/closed/3287.v
TEST bugs/closed/2848.v
TEST bugs/closed/1100.v
TEST bugs/closed/3815.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/2981.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/HoTT_coq_049.v
TEST bugs/closed/HoTT_coq_116.v
TEST bugs/closed/HoTT_coq_098.v
TEST bugs/closed/3210.v
TEST bugs/closed/3975.v
TEST bugs/closed/4035.v
TEST bugs/closed/3563.v
TEST bugs/closed/2966.v
TEST bugs/closed/1784.v
TEST bugs/closed/3807.v
TEST bugs/closed/2393.v
TEST bugs/closed/4283.v
TEST bugs/closed/3633.v
TEST bugs/closed/4165.v
TEST bugs/closed/3164.v
TEST bugs/closed/2164.v
TEST bugs/closed/2668.v
TEST bugs/closed/3324.v
TEST bugs/closed/3319.v
TEST bugs/closed/3332.v (-time)
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/3323.v (-indices-matter)
TEST bugs/closed/2830.v
TEST bugs/closed/3637.v
TEST bugs/closed/3300.v
TEST bugs/closed/1935.v
TEST bugs/closed/2295.v
TEST bugs/closed/3819.v
TEST bugs/closed/HoTT_coq_077.v
TEST bugs/closed/3892.v
TEST bugs/closed/3491.v
TEST bugs/closed/HoTT_coq_097.v (-indices-matter)
TEST bugs/closed/4354.v
TEST bugs/closed/2141.v
TEST bugs/closed/1411.v
TEST bugs/closed/4390.v
TEST bugs/closed/3625.v
TEST bugs/closed/1774.v
TEST bugs/closed/3560.v
TEST bugs/closed/HoTT_coq_074.v
TEST bugs/closed/4149.v
TEST bugs/closed/4305.v
TEST bugs/closed/2955.v
TEST bugs/closed/HoTT_coq_041.v
TEST bugs/closed/3993.v
TEST bugs/closed/3305.v
TEST bugs/closed/2854.v
TEST bugs/closed/2243.v
TEST bugs/closed/HoTT_coq_064.v
TEST bugs/closed/2244.v
TEST bugs/closed/3666.v
TEST bugs/closed/1614.v
TEST bugs/closed/3348.v (-indices-matter)
TEST bugs/closed/4318.v
TEST bugs/closed/1780.v
TEST bugs/closed/3566.v
TEST bugs/closed/3481.v
TEST bugs/closed/3948.v
TEST bugs/closed/2347.v
TEST bugs/closed/3786.v
TEST bugs/closed/3282.v
TEST bugs/closed/1582.v
TEST bugs/closed/1844.v
TEST bugs/closed/3978.v
TEST bugs/closed/HoTT_coq_056.v
TEST bugs/closed/4400.v (-require Coq.Compat.Coq84 -compat 8.4)
TEST bugs/closed/1898.v
TEST bugs/closed/3682.v
TEST bugs/closed/2680.v
TEST bugs/closed/HoTT_coq_047.v
TEST bugs/closed/4190.v
TEST bugs/closed/3628.v
TEST bugs/closed/2342.v
TEST bugs/closed/3331.v
TEST bugs/closed/3228.v
TEST bugs/closed/2837.v
TEST bugs/closed/4276.v
TEST bugs/closed/3249.v
TEST bugs/closed/2951.v
TEST bugs/closed/1419.v
TEST bugs/closed/4273.v
TEST bugs/closed/4453.v
TEST bugs/closed/3045.v
TEST bugs/closed/2732.v
TEST bugs/closed/2464.v
TEST bugs/closed/3010b.v
TEST bugs/closed/4251.v
TEST bugs/closed/4193.v
TEST bugs/closed/4480.v
TEST bugs/closed/4456.v (-R . Fiat -top BooleanRecognizerMin -R . Top)
TEST bugs/closed/1604.v
TEST bugs/closed/2149.v
TEST bugs/closed/2251.v
TEST bugs/closed/3446.v
TEST bugs/closed/3755.v
TEST bugs/closed/2137.v
TEST bugs/closed/3490.v
TEST bugs/closed/3480.v
TEST bugs/closed/3520.v
TEST bugs/closed/HoTT_coq_067.v
TEST bugs/closed/2670.v
TEST bugs/closed/3004.v
TEST bugs/closed/2775.v
TEST bugs/closed/HoTT_coq_100.v
TEST bugs/closed/3453.v
TEST bugs/closed/4347.v
TEST bugs/closed/2406.v
TEST bugs/closed/2095.v
TEST bugs/closed/1446.v
TEST bugs/closed/3567.v
TEST bugs/closed/HoTT_coq_081.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/4467.v
TEST bugs/closed/3326.v
TEST bugs/closed/2990.v
TEST bugs/closed/2250.v
TEST bugs/closed/3281.v
TEST bugs/closed/HoTT_coq_052.v
TEST bugs/closed/2281.v
TEST bugs/closed/3665.v
TEST bugs/closed/1912.v
TEST bugs/closed/4078.v
TEST bugs/closed/3037.v
TEST bugs/closed/3681.v
TEST bugs/closed/3900.v
TEST bugs/closed/4232.v
TEST bugs/closed/2586.v
TEST bugs/closed/2876.v
TEST bugs/closed/2362.v
TEST bugs/closed/4012.v
TEST bugs/closed/HoTT_coq_028.v
TEST bugs/closed/3703.v
TEST bugs/closed/3251.v
TEST bugs/closed/2834.v
TEST bugs/closed/3424.v
TEST bugs/closed/4057.v
TEST bugs/closed/HoTT_coq_078.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/Intuition.v
TEST output/simpl.v
TEST output/reduction.v
TEST output/PrintAssumptions.v
TEST output/inference.v
TEST output/Cases.v
TEST output/TranspModtype.v
TEST output/ArgumentsScope.v
TEST output/Inductive.v
TEST output/NumbersSyntax.v
TEST output/PrintModule.v
TEST output/Implicit.v
TEST output/ZSyntax.v
TEST output/Tactics.v
TEST output/Search.v
TEST output/Fixpoint.v
TEST output/Existentials.v
TEST output/Naming.v
TEST output/RealSyntax.v
TEST output/set.v
TEST output/Match_subterm.v
TEST output/SearchPattern.v
TEST output/Errors.v
TEST output/Notations2.v
TEST output/rewrite-2172.v
TEST output/names.v
TEST output/Arguments_renaming.v
TEST output/PrintInfos.v
TEST output/Sum.v
TEST output/Extraction_matchs_2413.v
TEST output/Quote.v
TEST output/Notations.v
TEST output/SearchRewrite.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/pliczek.v
TEST modules/errors.v
TEST modules/plik.v
TEST modules/obj.v
TEST modules/objects.v
TEST modules/modul.v
TEST modules/PO.v
TEST modules/nested_mod_types.v
TEST modules/ind.v
TEST modules/grammar.v
TEST modules/Demo.v
TEST modules/subtyping.v
TEST modules/pseudo_circular_with.v
TEST modules/Tescik.v
TEST modules/injection_discriminate_inversion.v
TEST modules/objects2.v
TEST modules/resolver.v
TEST modules/modeq.v
TEST modules/mod_decl.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
/srv/reproducible-results/rbuild-debian-3qplYYyf/tmp.8qkBVzJoiV: 41.1% -- replaced with /srv/reproducible-results/rbuild-debian-3qplYYyf/tmp.8qkBVzJoiV.gz
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:534)
at hudson.model.Run.execute(Run.java:1738)
at hudson.model.FreeStyleBuild.run(FreeStyleBuild.java:43)
at hudson.model.ResourceController.execute(ResourceController.java:98)
at hudson.model.Executor.run(Executor.java:410)
More information about the Qa-jenkins-scm
mailing list