Jobs · Hai Dang / stdpp

Status	Job	Pipeline	Stage	Name	Timing
failed	#24817 master 425c0d18 fp	#14916 by	build	build-coq.8.7.0	Feb 21, 2019
failed	#24816 master 425c0d18 fp	#14916 by	build	build-coq.8.7.1	Feb 21, 2019
failed	#24815 master 425c0d18 fp	#14916 by	build	build-coq.8.7.2	Feb 21, 2019
failed	#24814 master 425c0d18 fp-timing	#14916 by	build	build-coq.8.8.0	Feb 21, 2019
failed	#24813 master 425c0d18 fp	#14916 by	build	build-coq.8.8.1	Feb 21, 2019
failed	#24812 master 425c0d18 fp	#14916 by	build	build-coq.8.8.2	Feb 21, 2019
failed	#24811 master 425c0d18 fp-timing	#14916 by	build	build-coq.8.9.0	Feb 21, 2019
failed	#24810 master 425c0d18 fp	#14916 by	build	build-coq.dev	Feb 21, 2019
canceled	#23566 master 824e9723 fp	#14485 by	build	build-coq.8.7.0	Feb 08, 2019
canceled	#23565 master 824e9723 fp	#14485 by	build	build-coq.8.7.1	Feb 08, 2019
canceled	#23564 master 824e9723 fp	#14485 by	build	build-coq.8.7.2	Feb 08, 2019
canceled	#23563 master 824e9723 fp-timing	#14485 by	build	build-coq.8.8.0	Feb 08, 2019
canceled	#23562 master 824e9723 fp	#14485 by	build	build-coq.8.8.1	Feb 08, 2019
canceled	#23561 master 824e9723 fp	#14485 by	build	build-coq.8.8.2	Feb 08, 2019
canceled	#23560 master 824e9723 fp-timing	#14485 by	build	build-coq.8.9.0	Feb 08, 2019
canceled	#23559 master 824e9723 fp	#14485 by	build	build-coq.dev	Feb 08, 2019
skipped	#4188 master dc8dfe96	#4815 by	deploy	opam
failed	#4187 master dc8dfe96 fp-timing	#4815 by	build	build-coq.8.6	Oct 20, 2017
failed	#4186 master dc8dfe96 fp-timing	#4815 by	build	build-coq.8.6.1	Oct 20, 2017
failed	#4185 master dc8dfe96 fp-timing	#4815 by	build	build-coq.8.7	Oct 20, 2017
failed	#4184 master dc8dfe96 fp-timing	#4815 by	build	build-coq.8.7.dev	Oct 20, 2017
skipped	#4047 master 2bab25d0	#4755 by	opam	opam
failed	#4046 master 2bab25d0 fp-timing	#4755 by	build	build-coq8.6	Oct 19, 2017
failed	#4045 master 2bab25d0 fp-timing	#4755 by	build	build-coq8.6.1	Oct 19, 2017
failed	#4044 master 2bab25d0 fp-timing	#4755 by	build	build-coq8.7	Oct 19, 2017
failed	#4043 master 2bab25d0 fp-timing	#4755 by	build	build-coq8.7.dev	Oct 19, 2017
canceled	#3724 master c60c5192	#4603 by	opam	opam	Oct 06, 2017
canceled	#3723 master c60c5192 fp-timing	#4603 by	build	build-coq8.6	Oct 06, 2017
canceled	#3722 master c60c5192 fp-timing	#4603 by	build	build-coq8.6.1	Oct 06, 2017
canceled	#3721 master c60c5192 fp-timing	#4603 by	build	build-coq8.7	Oct 06, 2017