COQTEST: get rid of old filtering stuff

7 jobs for master in 11 minutes and 58 seconds (queued for 1 second)