gazagnaire.org / ocaml-scc
CCSDS Synchronization and Channel Coding (131.0-B, 231.0-B)
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

irmin: single Schema API — remove old Backend/Store/Tree/Proof/Codec

Thomas Gazagnaire a89a3a5e fa2e1373

+1 -3
+1 -3
test/interop/dariol83/dune
··· 5 5 (source_tree traces) 6 6 (source_tree scripts))) 7 7 8 - ; Regenerate traces: REGEN_TRACES=1 dune build @regen-traces 8 + ; Regenerate traces against dariol83: dune build @regen-traces 9 9 10 10 (rule 11 11 (alias regen-traces) 12 - (enabled_if 13 - (= %{env:REGEN_TRACES=0} 1)) 14 12 (deps 15 13 (source_tree scripts)) 16 14 (action