Jobs · Simon Friis Vindum / stdpp

Status	Name	Job	Pipeline	Stage	Duration
passed	build-coq.8.10.2	#133147 changelog-addition 951bd2eb fp	#49440 by	build	00:05:19 Jun 28, 2021
passed	build-coq.8.13.2-mr	#133146 changelog-addition 951bd2eb fp	#49440 by	build	00:04:58 Jun 28, 2021
passed	build-coq.8.10.2	#132564 extra-lemmas e22e4a76 fp	#49247 by	build	00:05:12 Jun 25, 2021
passed	build-coq.8.13.2-mr	#132563 extra-lemmas e22e4a76 fp	#49247 by	build	00:04:40 Jun 25, 2021
passed	build-coq.8.10.2	#131960 extra-lemmas 28f8140d fp	#48969 by	build	00:04:38 Jun 19, 2021
passed	build-coq.8.13.2-mr	#131959 extra-lemmas 28f8140d fp	#48969 by	build	00:04:16 Jun 19, 2021
passed	build-coq.8.10.2	#129048 master 4492d5a5 fp	#47622 by	build	00:05:46 May 28, 2021
passed	build-coq.8.13.2-mr	#129047 master 4492d5a5 fp	#47622 by	build	00:05:48 May 28, 2021
passed	build-coq.8.10.2	#128705 master 0973276d fp	#47452 by	build	00:04:31 May 27, 2021
passed	build-coq.8.13.2-mr	#128704 master 0973276d fp	#47452 by	build	00:04:16 May 27, 2021
passed	build-coq.8.10.2	#128558 master 3140d663 fp	#47391 by	build	00:04:31 May 26, 2021
passed	build-coq.8.13.2-mr	#128557 master 3140d663 fp	#47391 by	build	00:08:56 May 26, 2021
passed	build-coq.8.10.2	#128545 master 02578610 fp	#47384 by	build	00:08:51 May 26, 2021
failed	build-coq.8.13.2-mr	#128544 master 02578610 fp	#47384 by	build	00:06:35 May 26, 2021