"When merging pull requests, make sure to include the branch name and a brief description of the changes."
Description
This PR addresses the issue of missing branch name and description in the RESULTS.md file. The branch name and description are important for providing context and making it easier for others to understand the changes made in the pull request.
The following changes have been made to fix the issue:
Added command-line arguments to the benchmark.py script to specify the branch name and description.
Updated the benchmark.py script to include the branch name and description in the benchmark results.
Modified the run_on_changes.py script to pass the branch name and description as command-line arguments when executing benchmark commands.
Summary of Changes
Modified benchmark.py to include command-line arguments for branch name and description.
Updated the runScript function in benchmark.py to accept branch name and description as parameters.
Updated the loadConfiguration function in benchmark.py to include branch name and description in the configuration dictionary.
Added a new line at the beginning of RESULTS.md to include the branch name and description.
Modified run_on_changes.py to pass branch name and description as command-line arguments when executing benchmark commands.
Please review and merge this PR to fix the issue. Thank you!
PR Feedback: π
I created this PR to address this rule:
"When merging pull requests, make sure to include the branch name and a brief description of the changes."
Description
This PR addresses the issue of missing branch name and description in the RESULTS.md file. The branch name and description are important for providing context and making it easier for others to understand the changes made in the pull request.
The following changes have been made to fix the issue:
Summary of Changes
Please review and merge this PR to fix the issue. Thank you!