From b5046454b47aba598a42d3d775d2ec54dc57c75a Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 28 May 2024 16:05:56 +0200
Subject: ci: Check correctness of the charon pinned commit

---
 flake.nix | 1 +
 1 file changed, 1 insertion(+)

(limited to 'flake.nix')

diff --git a/flake.nix b/flake.nix
index 654c0006..3e8b88de 100644
--- a/flake.nix
+++ b/flake.nix
@@ -226,6 +226,7 @@
             pkgs.ocamlPackages.ocamlformat
             pkgs.ocamlPackages.menhir
             pkgs.ocamlPackages.odoc
+            pkgs.jq
           ];
 
           inputsFrom = [
-- 
cgit v1.2.3