Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Added option 'reports_directory' to the CLI for saving reports in the JSON format. #128

Merged
merged 11 commits into from
Aug 29, 2022

Conversation

Artanias
Copy link
Collaborator

@Artanias Artanias added the enhancement New feature or request label Aug 29, 2022
@Artanias Artanias merged commit b38ba85 into main Aug 29, 2022
Artanias added a commit that referenced this pull request Aug 29, 2022
… JSON format. (#128)

- Some functions optimized;
- Added more type hints and auxiliary types;
- Added test for check that man util unminimized on system;
- Removed repeated logger and constants in the webparsers;
- Added pre-commit settings;
- Added option to save reports in JSON files while finding similar code parts;
- Now docker image pushing in the Docker Hub only when created new tag.
@Artanias Artanias deleted the CP_101 branch August 29, 2022 09:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
Archived in project
1 participant