.gitlab-ci.yml 65 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 -j9