From 2aef8ff21e931885d86ecad0a6924f8ad828e7cf Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 16 May 2023 08:06:18 +0200
Subject: [PATCH] [ci] fix yaml dependency on internal tests
---
nix/internal-tests.nix | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/nix/internal-tests.nix b/nix/internal-tests.nix
index 1e144928c10..9e71c73b64f 100644
--- a/nix/internal-tests.nix
+++ b/nix/internal-tests.nix
@@ -30,11 +30,13 @@
, ocamlgraph
, ocp-indent
, ppx_deriving
+, ppx_deriving_yaml
, ppx_deriving_yojson
, ppx_import
, yojson
, which
, why3
+, yaml
, zarith
, zmq
# Frama-C tests
@@ -87,10 +89,12 @@ stdenvNoCC.mkDerivation rec {
ocamlgraph
ocp-indent
ppx_deriving
+ ppx_deriving_yaml
ppx_deriving_yojson
ppx_import
yojson
which
+ yaml
why3
zarith
zmq
--
GitLab