Jobs · Paulo Emílio de Vilhena / stdpp

Status	Job	Pipeline	Stage	Name	Timing
canceled	#39340 master 88fa9552 fp-timing	#19058 by	build	build-coq.8.9.0	Aug 14, 2019
canceled	#39339 master 88fa9552 fp	#19058 by	build	build-coq.8.9.1	Aug 14, 2019
canceled	#39338 master 88fa9552 fp	#19058 by	build	build-coq.8.10.dev	Aug 14, 2019
canceled	#39337 master 88fa9552 fp	#19058 by	build	build-coq.dev	Aug 14, 2019
canceled	#39336 master 750d8f52 fp	#19057 by	build	build-coq.8.7.2	Aug 14, 2019
canceled	#39335 master 750d8f52 fp-timing	#19057 by	build	build-coq.8.8.0	Aug 14, 2019
canceled	#39334 master 750d8f52 fp	#19057 by	build	build-coq.8.8.1	Aug 14, 2019
canceled	#39333 master 750d8f52 fp	#19057 by	build	build-coq.8.8.2	Aug 14, 2019
canceled	#39332 master 750d8f52 fp-timing	#19057 by	build	build-coq.8.9.0	Aug 14, 2019
canceled	#39331 master 750d8f52 fp	#19057 by	build	build-coq.8.9.1	Aug 14, 2019
canceled	#39330 master 750d8f52 fp	#19057 by	build	build-coq.8.10.dev	Aug 14, 2019
canceled	#39329 master 750d8f52 fp	#19057 by	build	build-coq.dev	Aug 14, 2019
canceled	#37539 master 26a75981 fp	#18556 by	build	build-coq.8.7.2	Jul 22, 2019
canceled	#37538 master 26a75981 fp-timing	#18556 by	build	build-coq.8.8.0	Jul 22, 2019
canceled	#37537 master 26a75981 fp	#18556 by	build	build-coq.8.8.1	Jul 22, 2019
canceled	#37536 master 26a75981 fp	#18556 by	build	build-coq.8.8.2	Jul 22, 2019
canceled	#37535 master 26a75981 fp-timing	#18556 by	build	build-coq.8.9.0	Jul 22, 2019
canceled	#37534 master 26a75981 fp	#18556 by	build	build-coq.8.9.1	Jul 22, 2019
canceled	#37533 master 26a75981 fp	#18556 by	build	build-coq.8.10.dev	Jul 22, 2019
canceled	#37532 master 26a75981 fp	#18556 by	build	build-coq.dev	Jul 22, 2019
canceled	#37531 master 26a75981 fp	#18556 by	build	build-coq.8.7.2	Jul 22, 2019
canceled	#37530 master 26a75981 fp-timing	#18556 by	build	build-coq.8.8.0	Jul 22, 2019
canceled	#37529 master 26a75981 fp	#18556 by	build	build-coq.8.8.1	Jul 22, 2019
canceled	#37528 master 26a75981 fp	#18556 by	build	build-coq.8.8.2	Jul 22, 2019
canceled	#37527 master 26a75981 fp-timing	#18556 by	build	build-coq.8.9.0	Jul 22, 2019
canceled	#37526 master 26a75981 fp	#18556 by	build	build-coq.8.9.1	Jul 22, 2019
canceled	#37525 master 26a75981 fp	#18556 by	build	build-coq.8.10.dev	Jul 22, 2019
canceled	#37524 master 26a75981 fp	#18556 by	build	build-coq.dev	Jul 22, 2019
canceled	#37523 master 882ae821 fp	#18554 by	build	build-coq.8.7.2	Jul 22, 2019
canceled	#37522 master 882ae821 fp-timing	#18554 by	build	build-coq.8.8.0	Jul 22, 2019