Function extract_id

scripts/update_challenges.py:31–35

(name: str)

def extract_id(name: str) -> int:
    match = re.match(r"^(\d+)_", name)
    if not match:
        raise ValueError(f"Directory name must start with number: {name}")
    return int(match.group(1))


def get_difficulty(path: Path) -> str: