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

Some cleanup for extended diagnostic branch #1

Open
wants to merge 5 commits into
base: diagnostics
Choose a base branch
from
Open

Some cleanup for extended diagnostic branch #1

wants to merge 5 commits into from

Commits on Jan 24, 2021

  1. Fix exception arguments

    @karzhenkov
    karzhenkov committed Jan 24, 2021
    Configuration menu
    Copy the full SHA
    9eacdfe View commit details
    Browse the repository at this point in the history

  2. Introduce "diagnostics context"

    @karzhenkov
    karzhenkov committed Jan 24, 2021
    Configuration menu
    Copy the full SHA
    8fcbcb0 View commit details
    Browse the repository at this point in the history

  3. Revert headers that use empty diagnostics only

    @karzhenkov
    karzhenkov committed Jan 24, 2021
    Configuration menu
    Copy the full SHA
    985b21b View commit details
    Browse the repository at this point in the history

  4. Other cleanup related to empty diagnostics

    @karzhenkov
    karzhenkov committed Jan 24, 2021
    Configuration menu
    Copy the full SHA
    716f697 View commit details
    Browse the repository at this point in the history

  5. Use json object as a diagnostics context

    @karzhenkov
    karzhenkov committed Jan 24, 2021
    Configuration menu
    Copy the full SHA
    c92418f View commit details
    Browse the repository at this point in the history