more logatom case studies

1 job for master in 7 minutes and 29 seconds (queued for 5 minutes and 41 seconds)
Status Job ID Name Coverage
failed #39211


Name Stage Failure
failed Build
| - recompile coq-autosubst              dev.coq86
| - recompile coq-stdpp dev

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