Jobs · Iris / Tutorial POPL18

Status	Job	Pipeline	Stage	Name	Timing
passed	#78523 master ca27a19d fp	#30954 by	build	build-iris.dev	00:19:33 Jul 09, 2020
passed	#78136 master ca27a19d fp	#30787 by	build	build-iris.dev	00:18:10 Jul 08, 2020
passed	#77592 master ca27a19d fp	#30661 by	build	build-iris.dev	00:18:31 Jul 07, 2020
passed	#77355 master ca27a19d fp	#30572 by	build	build-iris.dev	00:18:18 Jul 06, 2020
passed	#77293 master ca27a19d fp	#30545 by	build	build-iris.dev	00:18:16 Jul 05, 2020
passed	#77187 master ca27a19d fp	#30497 by	build	build-iris.dev	00:20:06 Jul 04, 2020
passed	#77042 master ca27a19d fp	#30432 by	build	build-iris.dev	00:18:32 Jul 03, 2020
passed	#76858 master ca27a19d fp	#30329 by	build	build-iris.dev	00:18:49 Jul 02, 2020
passed	#76718 master ca27a19d fp	#30255 by	build	build-iris.dev	00:17:31 Jul 01, 2020
passed	#76559 master ca27a19d fp	#30193 by	build	build-iris.dev	00:18:06 Jun 30, 2020
passed	#76449 master ca27a19d fp	#30144 by	build	build-iris.dev	00:17:03 Jun 29, 2020
passed	#76372 master ca27a19d fp	#30111 by	build	build-iris.dev	00:17:18 Jun 28, 2020
passed	#76315 master ca27a19d fp	#30087 by	build	build-iris.dev	00:16:53 Jun 27, 2020
passed	#76146 master ca27a19d fp	#30039 by	build	build-iris.dev	00:17:33 Jun 26, 2020
passed	#75941 master ca27a19d fp	#29976 by	build	build-iris.dev	00:17:38 Jun 25, 2020
passed	#75799 master ca27a19d fp	#29932 by	build	build-iris.dev	00:17:08 Jun 24, 2020
passed	#75556 master ca27a19d fp	#29873 by	build	build-iris.dev	00:17:45 Jun 23, 2020
passed	#75433 master ca27a19d fp	#29823 by	build	build-iris.dev	00:17:34 Jun 22, 2020
passed	#75367 master ca27a19d fp	#29791 by	build	build-iris.dev	00:17:32 Jun 21, 2020
passed	#75299 master ca27a19d fp	#29767 by	build	build-iris.dev	00:17:24 Jun 20, 2020
passed	#75212 master ca27a19d fp	#29724 by	build	build-coq.8.10.1	00:09:24 Jun 19, 2020
passed	#75211 master ca27a19d fp	#29724 by	build	build-coq.8.11.0	00:09:13 Jun 19, 2020
passed	#75203 master 76ff57e9 fp	#29717 by	build	build-coq.8.10.1	00:03:49 Jun 19, 2020
passed	#75202 master 76ff57e9 fp	#29717 by	build	build-coq.8.11.0	00:04:02 Jun 19, 2020
failed	#75066 master af175ba7 fp	#29685 by	build	build-iris.dev	00:15:39 Jun 19, 2020
passed	#74951 master af175ba7 fp	#29630 by	build	build-iris.dev	00:17:32 Jun 18, 2020
passed	#74799 master af175ba7 fp	#29571 by	build	build-iris.dev	00:17:33 Jun 17, 2020
passed	#74707 master af175ba7 fp	#29526 by	build	build-iris.dev	00:17:17 Jun 16, 2020
passed	#74439 master af175ba7 fp	#29471 by	build	build-iris.dev	00:18:07 Jun 15, 2020
passed	#74355 master af175ba7 fp	#29444 by	build	build-iris.dev	00:18:49 Jun 14, 2020