CCSDS TM Transfer Frames (CCSDS 132.0-B-3)
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

+2 -4
+2 -4
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 17 15 (chdir 18 16 scripts 19 - (run bash generate.sh)))) 17 + (run bash ./generate.sh))))