.gitlab-ci.yml 193 Bytes
Newer Older
Ralf Jung's avatar
Ralf Jung committed
1
2
3
4
5
6
image: coq:8.5

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