balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

CI: test that the various dune.inc are up-to-date

Browse Source
This commit is contained in:
Grégoire Henry 2019-02-06 17:01:44 +01:00 committed by Benjamin Canou
parent 28f680ab91
commit 0796b0355a
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.gitlab-ci.yml
View File

@ -51,6 +51,7 @@ check_indentation:
build: build:
<<: *build_definition <<: *build_definition
script: script:
- dune build @runtest_dune_template
- make all - make all
artifacts: artifacts:
paths: paths: