.gitlab-ci.yml 73 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
  - make -j4 TIMED=y