Skip to content
GitLab
Switch branch/tag
Find file Normal viewHistoryPermalink
.gitlab-ci.yml 73 Bytes
Newer Older
Ralf Jung's avatar
try to tell gitlab CI what to do  
Ralf Jung committed
1
2
3
4
5
6 
image: coq:8.5

buildjob:
  tags:
  - coq
  script:
Ralf Jung's avatar
time the CI build. also use less cores to hopefully get more stable timing.    
Ralf Jung committed
7 
  - make -j4 TIMED=y