frejanordsiek Fixed missing package in the lint github action for mypy.