Jobs · Iris / Actris

Status	Job	Pipeline	Stage	Name	Timing
passed	#110091 master 1226aa9c fp	#40558 by	build	build-iris.dev	00:15:06 Jan 16, 2021
passed	#109955 master 1226aa9c fp	#40482 by	build	build-iris.dev	00:14:44 Jan 15, 2021
passed	#109859 master 1226aa9c fp	#40440 by	build	build-iris.dev	00:15:08 Jan 14, 2021
passed	#109661 master 1226aa9c fp	#40379 by	build	build-iris.dev	00:17:57 Jan 13, 2021
passed	#109577 master 1226aa9c fp	#40336 by	build	build-iris.dev	00:16:12 Jan 12, 2021
passed	#109501 master 1226aa9c fp	#40299 by	build	build-iris.dev	00:14:31 Jan 11, 2021
passed	#109500 master 1226aa9c fp	#40298 by	build	build-coq.8.12.0	00:06:09 Jan 11, 2021
failed	#109464 master d21f89df fp	#40289 by	build	build-iris.dev	00:15:20 Jan 11, 2021
failed	#109417 master d21f89df fp	#40269 by	build	build-iris.dev	00:12:49 Jan 10, 2021
passed	#109369 master d21f89df fp	#40246 by	build	build-iris.dev	00:16:01 Jan 09, 2021
passed	#109275 master d21f89df fp	#40211 by	build	build-iris.dev	00:16:48 Jan 08, 2021
passed	#109134 master d21f89df fp	#40159 by	build	build-iris.dev	00:17:42 Jan 07, 2021
passed	#109079 master d21f89df fp	#40133 by	build	build-iris.dev	00:16:57 Jan 06, 2021
passed	#108979 master d21f89df fp	#40093 by	build	build-iris.dev	00:16:25 Jan 05, 2021
passed	#108867 master d21f89df fp	#40044 by	build	build-iris.dev	00:18:26 Jan 04, 2021
passed	#108821 master d21f89df fp	#40025 by	build	build-iris.dev	00:17:46 Jan 03, 2021
passed	#108756 master d21f89df fp	#40002 by	build	build-iris.dev	00:18:00 Jan 02, 2021
passed	#108708 master d21f89df fp	#39981 by	build	build-iris.dev	00:18:15 Jan 01, 2021
passed	#108659 master d21f89df fp	#39959 by	build	build-iris.dev	00:18:12 Dec 31, 2020
passed	#108584 master d21f89df fp	#39937 by	build	build-iris.dev	00:14:40 Dec 30, 2020
passed	#108533 master d21f89df fp	#39913 by	build	build-iris.dev	00:17:21 Dec 29, 2020
passed	#108487 master d21f89df fp	#39889 by	build	build-iris.dev	00:14:53 Dec 28, 2020
passed	#108436 master d21f89df fp	#39868 by	build	build-iris.dev	00:18:20 Dec 27, 2020
passed	#108389 master d21f89df fp	#39848 by	build	build-iris.dev	00:17:31 Dec 26, 2020
passed	#108340 master d21f89df fp	#39827 by	build	build-iris.dev	00:20:23 Dec 25, 2020
passed	#108253 master d21f89df fp	#39801 by	build	build-iris.dev	00:14:34 Dec 24, 2020
passed	#108158 master d21f89df fp	#39760 by	build	build-iris.dev	00:17:56 Dec 23, 2020
passed	#108069 master d21f89df fp	#39731 by	build	build-iris.dev	00:18:33 Dec 22, 2020
passed	#108003 master d21f89df fp	#39701 by	build	build-iris.dev	00:17:36 Dec 21, 2020
passed	#107946 master d21f89df fp	#39675 by	build	build-iris.dev	00:16:25 Dec 20, 2020