Pipeline · Iris / Fairis

Bump Iris.

1 job for master in 4 minutes and 7 seconds (queued for 13 minutes and 12 seconds)

Name Stage Failure

	Name	Stage	Failure
failed	build-iris.dev	Build
	`\| - remove coq-iris dev \| - recompile coq-stdpp dev +- The former state can be restored with: opam switch import "/builds/iris/fairis/opamroot/ocaml-base-compiler.4.02.3/.opam-switch/backup/state-20190813161809.export" Or you can retry to install your package selection with: opam install --restore ERROR: Job failed: exit code 1`

failed

Build

| - remove    coq-iris         dev
| - recompile coq-stdpp        dev
+- 

The former state can be restored with:
    opam switch import "/builds/iris/fairis/opamroot/ocaml-base-compiler.4.02.3/.opam-switch/backup/state-20190813161809.export"
Or you can retry to install your package selection with:
    opam install --restore
ERROR: Job failed: exit code 1