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

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