fix yaml syntax

1 job for master
Status Job ID Name Coverage
  Test
failed #49
coq
buildjob

00:00:13

 
Name Stage Failure
failed
buildjob Test There is an unknown failure, please try again

HEAD is now at d50f8c1... fix yaml syntax

$ make -j8 TIMED=y | tee /dev/stdout | egrep "[a-zA-Z0-9-_/]+ \(user: [0-9]" > build-time.txt
grep: Invalid range end
Warning: -Q options don't have a correct common prefix,
install-doc will put anything in $INSTALLDEFAULTROOT

ERROR: Build failed with: exit code 1