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

buildjob:
  tags:
  - coq
  script:
  - make