image: coq:8.5 buildjob: tags: - coq script:
- make -j8 TIMED=y | tee /dev/stdout | egrep "[a-zA-Z0-9-_/]+ \(user: [0-9]" > build-time.txt artifacts: paths: - build-time.txt