-
Michele Alberti authored[verification] Rework additional information for dataset results and simplify its JSON serialization.
Michele Alberti authored[verification] Rework additional information for dataset results and simplify its JSON serialization.
verification.mli 3.09 KiB