Fix for Coq 8.8

3 jobs for master in 5 minutes and 23 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #93118
au
coq:8.8

00:03:02

passed #93119
au
coq:8.9

00:02:43

passed #93120
au
coq:dev

00:02:37