update CI

9 jobs for master in 13 minutes and 44 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #10233
fp
build-coq.8.6.0

00:02:54

passed #10232
fp
build-coq.8.6.1

00:08:24

passed #10231
fp
build-coq.8.7.0

00:02:51

passed #10230
fp
build-coq.8.7.1

00:02:34

failed #10235
fp-timing
build-coq.8.7.2

00:02:10

passed #10228
fp
build-coq.8.8.dev

00:04:04

passed #10227
fp
build-coq.dev

00:13:44

failed #10234
fp-timing
build-coq.8.7.2

00:02:13

failed #10229
fp-timing
build-coq.8.7.2

00:02:12

 
Name Stage Failure
failed
build-coq.8.7.2 Build
theories/stringmap (real: 1.11, user: 0.94, sys: 0.16, mem: 476936 ko)
theories/infinite (real: 1.25, user: 1.09, sys: 0.15, mem: 480272 ko)
theories/hashset (real: 2.23, user: 2.08, sys: 0.15, mem: 484836 ko)
theories/gmultiset (real: 1.96, user: 1.84, sys: 0.11, mem: 485124 ko)
theories/coPset (real: 2.36, user: 2.17, sys: 0.19, mem: 484240 ko)
theories/namespaces (real: 1.23, user: 1.06, sys: 0.16, mem: 477440 ko)
[buildjob] Submitting timing information to coq-speed
curl: (22) The requested URL returned error: 500 Internal Server Error
ERROR: Job failed: exit code 1