Skip to content

Commit

Permalink
Add more comments
Browse files Browse the repository at this point in the history
  • Loading branch information
Marinovsky committed Sep 5, 2024
1 parent 2c54652 commit 4a45693
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions lean/commands/research.py
Original file line number Diff line number Diff line change
Expand Up @@ -102,6 +102,9 @@ def research(project: Path,

project_manager = container.project_manager
algorithm_file = project_manager.find_algorithm_file(project, not_throw = True)

# We just need the algorithm file name to create the configurations for lean and
# the docker container. We do not need an algorithm file to run a research project
if algorithm_file is None:
algorithm_file = project / 'main.py'
algorithm_name = convert_to_class_name(project)
Expand Down

0 comments on commit 4a45693

Please sign in to comment.