Change definition of completion

Status Job ID Name Coverage
  Build
passed #33784
coq:8.9

00:04:00

passed #33783
coq:8.9+ssreflect:1.8.0

00:03:53

failed #33785
allowed to fail
coq:dev

00:01:59

 
Name Stage Failure
failed
coq:dev Build There is an unknown failure, please try again
File "./util/seqset.v", line 19, characters 42-52:
Error: The reference mkPredType was not found in the current environment.

Makefile:658: recipe for target 'util/seqset.vo' failed
make[1]: *** [util/seqset.vo] Error 1
make[1]: *** Waiting for unfinished jobs....
Makefile:320: recipe for target 'all' failed
make: *** [all] Error 2
ERROR: Job failed: exit code 1