fix CI

2 jobs for master in 20 minutes and 13 seconds (queued for 18 minutes and 41 seconds)
Status Job ID Name Coverage
  Build
passed #19688
fp
build-coq.8.8.2

00:16:16

passed #19687
fp
build-coq.dev

00:20:13