This PR is to complete the changes made in LEAN #7410. This changes allows the user to provide a custom HTML template to use for the report to be generated. The following changes were made:
Modify report.py to receive a custom HTML file as an optional argument and mount it
Add unit tests in test_report.py to assert lean-cli mounts the custom HTML template file when given
Update README.md to brief the users on the new optional argument in lean report for a custom HTML template file
This PR is to complete the changes made in LEAN #7410. This changes allows the user to provide a custom HTML template to use for the report to be generated. The following changes were made:
report.py
to receive a custom HTML file as an optional argument and mount ittest_report.py
to assert lean-cli mounts the custom HTML template file when givenlean report
for a custom HTML template file