bump std++

3 jobs for master in 10 minutes and 7 seconds
Status Job ID Name Coverage
  Build
passed #58667
fp
build-coq.8.10.2

00:04:59

passed #58666
fp-timing
build-coq.8.11.0

00:04:36

passed #58665
fp
build-coq.dev

00:10:07