Function serialize_identifiers

benchmarks/src/submit/submit.py:16–20

(identifiers: List[BenchmarkIdentifier], path: Path)

def serialize_identifiers(identifiers: List[BenchmarkIdentifier], path: Path):
    items = [identifier.to_dict() for identifier in identifiers]

    with open(path, "w") as f:
        json.dump(items, f)


def deserialize_identifiers(path: Path) -> List[BenchmarkIdentifier]: