Pipeline · Iris / Iris · GitLab

fix title from assertion -> proposition rename

5 jobs for master in 6 minutes and 20 seconds

Status	Job ID	Name		Coverage
Build
passed	#6460 fp-timing	build-coq.8.6.1	00:02:57 Dec 10, 2017
passed	#6459 fp-timing	build-coq.8.7.0	00:02:44 Dec 10, 2017

Deploy
passed	#6461	opam	00:00:14 Dec 10, 2017
passed	#6462	reverse-deps	00:00:14 Dec 10, 2017

Build More
passed	#6463 fp-timing	build-coq.8.7.dev	00:03:05 Dec 10, 2017