Tidy up types

This commit is contained in:
Ines Montani 2020-06-27 21:13:06 +02:00
parent 6678bd80c2
commit df22d490b1
1 changed files with 3 additions and 1 deletions

View File

@ -177,7 +177,9 @@ def project_assets(project_path: Path) -> None:
fetch_asset(project_path, url, dest, asset.get("checksum"))
def fetch_asset(project_path: Path, url: str, dest: Path, checksum: str = None):
def fetch_asset(
project_path: Path, url: str, dest: Path, checksum: Optional[str] = None
) -> None:
check_asset(url)
dest_path = project_path / dest
if dest_path.exists() and checksum: