.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