edward/agenda
1
0
Fork 0
Code Issues 25 Pull requests Packages Projects Releases Wiki Activity

Make mypy happier

Browse source
This commit is contained in:
Edward Betts 2024-08-03 14:51:30 +08:00
parent f423fcdcbe
commit 7cdb6903fc
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
agenda/trip.py
View file

@ -286,7 +286,7 @@ def read_geojson(data_dir: str, filename: str) -> str:
def get_trip_routes(trip: Trip) -> list[StrDict]:
"""Get routes for given trip to show on map."""
routes = []
routes: list[StrDict] = []
seen_geojson = set()
for t in trip.travel:
if t["type"] == "ferry":