Jobs · Iris / Tutorial POPL18

Status	Job	Pipeline	Stage	Name	Timing
passed	#54034 master 1a226ba9 fp	#23217 by	build	build-iris.dev	00:14:45 Jan 26, 2020
passed	#54001 master 1a226ba9 fp	#23204 by	build	build-iris.dev	00:14:39 Jan 25, 2020
passed	#53896 master 1a226ba9 fp	#23169 by	build	build-iris.dev	00:14:59 Jan 24, 2020
passed	#53719 master 1a226ba9 fp	#23119 by	build	build-iris.dev	00:14:52 Jan 23, 2020
passed	#53608 master 1a226ba9 fp	#23087 by	build	build-iris.dev	00:14:49 Jan 22, 2020
passed	#53378 master 1a226ba9 fp	#23036 by	build	build-iris.dev	00:14:47 Jan 21, 2020
passed	#53289 master 1a226ba9 fp	#23004 by	build	build-iris.dev	00:14:42 Jan 20, 2020
passed	#53240 master 1a226ba9 fp	#22988 by	build	build-iris.dev	00:14:48 Jan 19, 2020
passed	#53147 master 1a226ba9 fp	#22954 by	build	build-iris.dev	00:14:47 Jan 18, 2020
passed	#52994 master 1a226ba9 fp	#22913 by	build	build-iris.dev	00:14:53 Jan 17, 2020
passed	#52897 master 1a226ba9 fp	#22881 by	build	build-iris.dev	00:14:49 Jan 16, 2020
passed	#52826 master 1a226ba9 fp	#22851 by	build	build-iris.dev	00:14:41 Jan 15, 2020
passed	#52762 master 1a226ba9 fp	#22821 by	build	build-iris.dev	00:14:39 Jan 14, 2020
passed	#52751 master 1a226ba9 fp	#22810 by	build	build-coq.8.8.2	00:21:31 Jan 13, 2020
passed	#52750 master 1a226ba9 fp	#22810 by	build	build-coq.8.9.1	00:22:24 Jan 13, 2020
passed	#52749 master 1a226ba9 fp	#22810 by	build	build-coq.8.10.1	00:14:02 Jan 13, 2020
canceled	#52748 master e4084880 fp	#22809 by	build	build-coq.8.8.2	Jan 13, 2020
canceled	#52747 master e4084880 fp	#22809 by	build	build-coq.8.9.1	Jan 13, 2020
canceled	#52746 master e4084880 fp	#22809 by	build	build-coq.8.10.1	Jan 13, 2020
passed	#52638 master 702df1a2 fp	#22769 by	build	build-iris.dev	00:14:52 Jan 13, 2020
passed	#52603 master 702df1a2 fp	#22754 by	build	build-iris.dev	00:14:39 Jan 12, 2020
passed	#52559 master 702df1a2 fp	#22736 by	build	build-iris.dev	00:14:31 Jan 11, 2020
passed	#52466 master 702df1a2 fp	#22696 by	build	build-iris.dev	00:12:50 Jan 10, 2020
passed	#52346 master 702df1a2 fp	#22639 by	build	build-iris.dev	00:14:39 Jan 09, 2020
passed	#52271 master 702df1a2 fp	#22601 by	build	build-iris.dev	00:14:40 Jan 08, 2020
passed	#52228 master 702df1a2 fp	#22581 by	build	build-iris.dev	00:14:49 Jan 07, 2020
passed	#52183 master 702df1a2 fp	#22561 by	build	build-iris.dev	00:14:28 Jan 06, 2020
passed	#52138 master 702df1a2 fp	#22543 by	build	build-iris.dev	00:14:35 Jan 05, 2020
passed	#52095 master 702df1a2 fp	#22525 by	build	build-iris.dev	00:14:29 Jan 04, 2020
passed	#52060 master 702df1a2 fp	#22511 by	build	build-iris.dev	00:14:34 Jan 03, 2020