Skip to content

Commit

Permalink
fix none error
Browse files Browse the repository at this point in the history
  • Loading branch information
rjra2611 committed Jan 3, 2024
1 parent eb76a0c commit 4ccd310
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion lean/commands/cloud/push.py
Original file line number Diff line number Diff line change
Expand Up @@ -68,4 +68,4 @@ def push(project: Optional[Path], encrypt: Optional[bool], decrypt: Optional[boo
if key is not None:
raise RuntimeError(f"Encryption key can only be specified when pushing a single project.")
projects_to_push = [p.parent for p in Path.cwd().rglob(PROJECT_CONFIG_FILE_NAME)]
push_manager.push_projects(projects_to_push, encryption_action, key)
push_manager.push_projects(projects_to_push, [], encryption_action, key)

0 comments on commit 4ccd310

Please sign in to comment.