bump std++

5 jobs for master in 24 minutes and 25 seconds
Status Job ID Name Coverage
  Build
passed #10817
fp
build-coq.8.7.0

00:09:26

passed #10816
fp
build-coq.8.7.1

00:04:58

passed #10815
fp-timing
build-coq.8.7.2

00:04:18

passed #10814
fp
build-coq.8.8.0

00:09:30

passed #10813
fp
build-coq.dev

00:24:25