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

Add terse and is_terse helpers, and use them #1677

Merged
merged 8 commits into from
Apr 19, 2024
Merged

Add terse and is_terse helpers, and use them #1677

merged 8 commits into from
Apr 19, 2024

Commits on Apr 18, 2024

  1. Add terse and is_terse helpers

    @fingolfin
    fingolfin committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    109e12f View commit details
    Browse the repository at this point in the history

  2. Make use of terse and is_terse

    @fingolfin
    fingolfin committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    12272bd View commit details
    Browse the repository at this point in the history

  3. Remove superfluous comments

    @fingolfin
    fingolfin committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    8b85c0f View commit details
    Browse the repository at this point in the history

  4. Add missing imports into Generic

    @lgoettgens
    lgoettgens committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    c8e78c9 View commit details
    Browse the repository at this point in the history

  5. Fix more tests

    @lgoettgens
    lgoettgens committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    abd59e3 View commit details
    Browse the repository at this point in the history

  6. Apply suggestions from code review 

    Co-authored-by: Lars Göttgens <[email protected]>
    @fingolfin @lgoettgens
    fingolfin and lgoettgens authored Apr 18, 2024
    Configuration menu
    Copy the full SHA
    132d516 View commit details
    Browse the repository at this point in the history

  7. Use is_terse in show_name

    @fingolfin
    fingolfin committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    515f967 View commit details
    Browse the repository at this point in the history

  8. Fix (?) doctests

    @fingolfin
    fingolfin committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    4eb3fbf View commit details
    Browse the repository at this point in the history