Merge branch 'jh/upred_alt' into 'master'

Prove that uPred is complete even if we remove the validity restriction in uPred_closed.

See merge request FP/iris-coq!99
5 jobs for master in 10 minutes and 9 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #6353
fp-timing
build-coq.8.6.1

00:03:03

passed #6352
fp-timing
build-coq.8.7.0

00:02:48

 
  Deploy
passed #6354
opam

00:00:14

passed #6355
reverse-deps

00:00:14

 
  Build More
passed #6356
fp-timing
build-coq.8.7.dev

00:06:48