use std++ 1.1

6 jobs for master in 13 minutes and 59 seconds
Status Job ID Name Coverage
  Build
passed #6859
fp-timing
build-coq.8.6.1

00:03:43

passed #6858
fp-timing
build-coq.8.7.1

00:09:49

 
  Deploy
passed #6860
opam

00:00:17

passed #6861
reverse-deps

00:00:14

 
  Build More
passed #6863
fp-timing
build-coq.8.7.0

00:03:35

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

00:03:53