Pipeline · Iris / Iris · GitLab

WP def.n tweaking

5 jobs for master in 7 minutes and 8 seconds (queued for 8 seconds)

Status	Job ID	Name		Coverage
Build
passed	#6577 fp-timing	build-coq.8.6.1	00:03:02 Dec 13, 2017
passed	#6576 fp-timing	build-coq.8.7.0	00:02:54 Dec 13, 2017

Deploy
passed	#6578	opam	00:00:15 Dec 13, 2017
passed	#6579	reverse-deps	00:00:15 Dec 13, 2017

Build More
passed	#6580 fp-timing	build-coq.8.7.dev	00:03:47 Dec 13, 2017