Skip to content

GitLab

Commit b90d97fe authored by Jakob Botsch Nielsen's avatar Jakob Botsch Nielsen
Browse files

Count lines after make

parent cabb1735
Pipeline #12849 passed with stage
in 5 minutes and 33 seconds
Hide whitespace changes
Inline Side-by-side
.gitlab-ci.yml
View file @ b90d97fe
......@@ -17,6 +17,7 @@ stages:
script:
- sudo chown -R coq:coq "$CI_PROJECT_DIR"
- make -j
- coqwc theories/*.v
coq:8.8:
extends: .build
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment