Bump stdpp.

5 jobs for master in 6 minutes and 8 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
failed #5724
fp-timing
build-coq.8.6.1

00:02:35

passed #5723
fp-timing
build-coq.8.7.0

00:03:28

passed #5722
fp-timing
build-coq.8.7.dev

00:03:46

 
  Deploy
skipped #5725
opam
skipped #5726
reverse-deps
 
Name Stage Failure
failed
build-coq.8.6.1 Build There is an unknown failure, please try again
make[1]: Target 'all' not remade because of errors.
make[1]: Leaving directory '/builds/FP/iris-coq'
Makefile:6: recipe for target 'all' failed
make: *** [all] Error 2

real 0m45.842s
user 2m25.880s
sys 0m9.600s
ERROR: Job failed: exit code 1