Pipeline · Iris / Iris · GitLab

fix captialization

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

Status	Job ID	Name		Coverage
Build
passed	#6415 fp-timing	build-coq.8.6.1	00:02:56 Dec 10, 2017
passed	#6414 fp-timing	build-coq.8.7.0	00:02:46 Dec 10, 2017

Deploy
passed	#6416	opam	00:00:14 Dec 10, 2017
passed	#6417	reverse-deps	00:00:14 Dec 10, 2017

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