From 954b6b8d2fd3c0d7907f849c404ad3ac6eb5d482 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 12 Jun 2023 17:29:03 +0200
Subject: [PATCH] [ci] opam install with doc
---
.gitlab-ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 5c6e0689a85..46bb1baa116 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -388,7 +388,7 @@ ocaml-versions-nightly:
- sudo apt update
- opam pin . -n
- 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
tags:
- docker
--
GitLab