Skip to content
Snippets Groups Projects
Commit 0ef34eb0 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[ci] install check-jsonschema to validate sarif output

parent f6be8dbe
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 0 deletions
nix/frama-c.nix
+ 2
− 0
View file @ 0ef34eb0
...@@ -47,6 +47,7 @@ ...@@ -47,6 +47,7 @@
, zarith , zarith
, zmq , zmq
# Frama-C extra (other targets do not reconfigure) # Frama-C extra (other targets do not reconfigure)
, check-jsonschema
, dos2unix , dos2unix
, doxygen , doxygen
, python3 , python3
...@@ -80,6 +81,7 @@ stdenvNoCC.mkDerivation rec { ...@@ -80,6 +81,7 @@ stdenvNoCC.mkDerivation rec {
bisect_ppx bisect_ppx
camlzip camlzip
camomile camomile
check-jsonschema
dune_3 dune_3
dune-configurator dune-configurator
dune-site dune-site
......
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