Let `iProp` refer to `uPred ...`, so not the canonical structure bundle.

6 jobs for ci/robbert/iprop_structures in 10 minutes and 31 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
failed #41696
fp
build-coq.8.10.dev

00:09:34

failed #41700
fp
build-coq.8.7.2

00:03:33

failed #41699
fp
build-coq.8.8.2

00:04:33

failed #41698
fp-timing
build-coq.8.9.0

00:03:33

failed #41697
fp
build-coq.8.9.1

00:04:41

failed #41695
fp
build-coq.dev

00:10:29

 
Name Stage Failure
failed
build-coq.dev Build
Makefile.coq:320: recipe for target 'all' failed
make[1]: *** [all] Error 2
Makefile:6: recipe for target 'all' failed
make: *** [all] Error 2

real 2m35.625s
user 7m5.820s
sys 0m34.148s
ERROR: Job failed: exit code 1
failed
build-coq.8.10.dev Build
Makefile.coq:320: recipe for target 'all' failed
make[1]: *** [all] Error 2
Makefile:6: recipe for target 'all' failed
make: *** [all] Error 2

real 2m46.119s
user 7m50.284s
sys 0m34.396s
ERROR: Job failed: exit code 1
failed
build-coq.8.7.2 Build
Makefile.coq:318: recipe for target 'all' failed
make[1]: *** [all] Error 2
Makefile:6: recipe for target 'all' failed
make: *** [all] Error 2

real 2m37.239s
user 7m25.860s
sys 0m35.400s
ERROR: Job failed: exit code 1
failed
build-coq.8.9.1 Build
Makefile.coq:326: recipe for target 'all' failed
make[1]: *** [all] Error 2
Makefile:6: recipe for target 'all' failed
make: *** [all] Error 2

real 3m20.211s
user 9m14.140s
sys 0m34.564s
ERROR: Job failed: exit code 1
failed
build-coq.8.8.2 Build
Makefile.coq:317: recipe for target 'all' failed
make[1]: *** [all] Error 2
Makefile:6: recipe for target 'all' failed
make: *** [all] Error 2

real 3m24.108s
user 9m20.216s
sys 0m35.368s
ERROR: Job failed: exit code 1
failed
build-coq.8.9.0 Build
Makefile.coq:326: recipe for target 'all' failed
make[1]: *** [all] Error 2
Makefile:6: recipe for target 'all' failed
make: *** [all] Error 2

real 2m24.637s
user 6m33.016s
sys 0m31.780s
ERROR: Job failed: exit code 1