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.

Sign up for GitHub

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

Jump to bottom

show gzipped structures in analysis report #758

Merged
merged 8 commits into from
Dec 14, 2023
Merged

show gzipped structures in analysis report #758

merged 8 commits into from
Dec 14, 2023

Commits on Dec 13, 2023

  1. added is_cleaned logic

    @mgiulini
    mgiulini committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    0d96ba0 View commit details
    Browse the repository at this point in the history

  2. added is_cleaned argument to analyse cli

    @mgiulini
    mgiulini committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    578effe View commit details
    Browse the repository at this point in the history

  3. added is_cleaned to cli_analyse call

    @mgiulini
    mgiulini committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    3084764 View commit details
    Browse the repository at this point in the history

  4. added test for libworkflow

    @mgiulini
    mgiulini committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    797ef2d View commit details
    Browse the repository at this point in the history

  5. added test for libworkflow

    @mgiulini
    mgiulini committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    4a59b9e View commit details
    Browse the repository at this point in the history

  6. removed print

    @mgiulini
    mgiulini committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    c9b262c View commit details
    Browse the repository at this point in the history

  7. changed log level

    @mgiulini
    mgiulini committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    f6ac862 View commit details
    Browse the repository at this point in the history

Commits on Dec 14, 2023

  1. Merge branch 'main' into show_gzipped_structures

    @mgiulini
    mgiulini committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    035c063 View commit details
    Browse the repository at this point in the history