Workaround for Coq dev type inference regression

3 jobs for master in 5 minutes and 21 seconds (queued for 2 seconds)