Fix python cmdline parser for variants#180

Merged

edwintorok merged 5 commits intomirage:masterfrom Vincent-lau:variant-cmdparse

Sep 25, 2024

+7-5

Commits on Sep 24, 2024

fix python cmdline parser for variants

edwintorok
authored and
Vincent-lau
committed
CI: use setup-ocamlv3
Vincent-lau
committed
CI: Update ocaml-version
Vincent-lau
committed

Commits on Sep 25, 2024