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

fix ruff PLR1730 checks #38540

Merged
merged 8 commits into from
Sep 22, 2024
Merged

fix ruff PLR1730 checks #38540

merged 8 commits into from
Sep 22, 2024

Commits on Aug 21, 2024

  1. fix ruff PLR1730 checks

    @GiacomoPope
    GiacomoPope committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    fb97c6a View commit details
    Browse the repository at this point in the history

  2. fix PLR1730 in _B1_table_value

    @GiacomoPope
    GiacomoPope committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    47be028 View commit details
    Browse the repository at this point in the history

  3. fix PLR1730 in truthtable

    @GiacomoPope
    GiacomoPope committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    de35228 View commit details
    Browse the repository at this point in the history

Commits on Sep 4, 2024

  1. Merge branch 'develop' into ruff_PLR1730

    @GiacomoPope
    GiacomoPope authored Sep 4, 2024
    Configuration menu
    Copy the full SHA
    3647509 View commit details
    Browse the repository at this point in the history

  2. remove PLR1730 from ignore

    @GiacomoPope
    GiacomoPope committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    471b6ce View commit details
    Browse the repository at this point in the history

Commits on Sep 9, 2024

  1. fix linter for tropical_variety

    @GiacomoPope
    GiacomoPope committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    80c00ca View commit details
    Browse the repository at this point in the history

  2. fix bug in B1 table

    @GiacomoPope
    GiacomoPope committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    622abd4 View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2024

  1. Merge branch 'develop' into ruff_PLR1730

    @GiacomoPope
    GiacomoPope authored Sep 17, 2024
    Configuration menu
    Copy the full SHA
    172ce79 View commit details
    Browse the repository at this point in the history