Jobs · Iris / Tutorial POPL18

Status	Name	Job	Pipeline	Stage	Duration
passed	build-coq.8.11.2	#110344 master f903bf93 fp	#40667 by	build	00:03:23 Jan 19, 2021
passed	build-coq.8.12.0	#110343 master f903bf93 fp	#40667 by	build	00:03:25 Jan 19, 2021
passed	build-iris.dev	#110294 master 11b7bc6a fp	#40646 by	build	00:17:51 Jan 19, 2021
passed	build-iris.dev	#110200 master 11b7bc6a fp	#40599 by	build	00:17:03 Jan 18, 2021
passed	build-iris.dev	#110127 master 11b7bc6a fp	#40567 by	build	00:17:11 Jan 17, 2021
passed	build-iris.dev	#110080 master 11b7bc6a fp	#40547 by	build	00:19:30 Jan 16, 2021
passed	build-iris.dev	#109944 master 11b7bc6a fp	#40471 by	build	00:17:48 Jan 15, 2021
passed	build-iris.dev	#109848 master 11b7bc6a fp	#40428 by	build	00:16:25 Jan 14, 2021
passed	build-iris.dev	#109652 master 11b7bc6a fp	#40369 by	build	00:16:13 Jan 13, 2021
passed	build-iris.dev	#109566 master 11b7bc6a fp	#40325 by	build	00:18:04 Jan 12, 2021
passed	build-iris.dev	#109454 master 11b7bc6a fp	#40279 by	build	00:16:24 Jan 11, 2021
passed	build-iris.dev	#109406 master 11b7bc6a fp	#40258 by	build	00:18:31 Jan 10, 2021
passed	build-iris.dev	#109358 master 11b7bc6a fp	#40237 by	build	00:16:42 Jan 09, 2021
passed	build-iris.dev	#109265 master 11b7bc6a fp	#40201 by	build	00:17:47 Jan 08, 2021
passed	build-iris.dev	#109124 master 11b7bc6a fp	#40150 by	build	00:18:34 Jan 07, 2021
passed	build-iris.dev	#109069 master 11b7bc6a fp	#40123 by	build	00:16:29 Jan 06, 2021
passed	build-iris.dev	#108968 master 11b7bc6a fp	#40082 by	build	00:16:29 Jan 05, 2021
passed	build-iris.dev	#108857 master 11b7bc6a fp	#40034 by	build	00:16:59 Jan 04, 2021
passed	build-iris.dev	#108810 master 11b7bc6a fp	#40014 by	build	00:16:44 Jan 03, 2021
passed	build-iris.dev	#108745 master 11b7bc6a fp	#39991 by	build	00:16:16 Jan 02, 2021
passed	build-iris.dev	#108698 master 11b7bc6a fp	#39971 by	build	00:17:06 Jan 01, 2021
passed	build-iris.dev	#108648 master 11b7bc6a fp	#39948 by	build	00:17:16 Dec 31, 2020
passed	build-iris.dev	#108573 master 11b7bc6a fp	#39926 by	build	00:16:51 Dec 30, 2020
passed	build-iris.dev	#108522 master 11b7bc6a fp	#39902 by	build	00:16:58 Dec 29, 2020
passed	build-iris.dev	#108476 master 11b7bc6a fp	#39878 by	build	00:16:35 Dec 28, 2020
passed	build-iris.dev	#108425 master 11b7bc6a fp	#39857 by	build	00:15:09 Dec 27, 2020
passed	build-iris.dev	#108378 master 11b7bc6a fp	#39838 by	build	00:18:30 Dec 26, 2020
passed	build-iris.dev	#108331 master 11b7bc6a fp	#39817 by	build	00:16:30 Dec 25, 2020
passed	build-iris.dev	#108242 master 11b7bc6a fp	#39791 by	build	00:18:00 Dec 24, 2020
passed	build-iris.dev	#108147 master 11b7bc6a fp	#39748 by	build	00:16:52 Dec 23, 2020