Skip to content
Snippets Groups Projects
Commit 954b6b8d authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[ci] opam install with doc

parent 1f9c9440
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
.gitlab-ci.yml
+ 1
− 1
View file @ 954b6b8d
...@@ -388,7 +388,7 @@ ocaml-versions-nightly: ...@@ -388,7 +388,7 @@ ocaml-versions-nightly:
- sudo apt update - sudo apt update
- opam pin . -n - opam pin . -n
- opam depext frama-c --with-test - opam depext frama-c --with-test
- opam install --jobs 2 frama-c --with-test - opam install --jobs 2 frama-c --with-test --with-doc
- frama-c -version - frama-c -version
tags: tags:
- docker - docker
......
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