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

openapi3: make bad data ... error more actionable #761

Merged
merged 5 commits into from
Feb 1, 2023
Merged

openapi3: make bad data ... error more actionable #761

merged 5 commits into from
Feb 1, 2023

Commits on Feb 1, 2023

  1. add failing test 

    Signed-off-by: Pierre Fenoll <pierrefenoll@gmail.com>
    @fenollp
    fenollp committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    cd6560a View commit details
    Browse the repository at this point in the history

  2. make error more actionable 

    Signed-off-by: Pierre Fenoll <pierrefenoll@gmail.com>
    @fenollp
    fenollp committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    8218f0c View commit details
    Browse the repository at this point in the history

  3. add CI check for pattern exhaustiveness 

    Signed-off-by: Pierre Fenoll <pierrefenoll@gmail.com>
    @fenollp
    fenollp committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    1f92c77 View commit details
    Browse the repository at this point in the history

  4. come on CI 

    Signed-off-by: Pierre Fenoll <pierrefenoll@gmail.com>
    @fenollp
    fenollp committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    a6fcabf View commit details
    Browse the repository at this point in the history

  5. gnnnn 

    Signed-off-by: Pierre Fenoll <pierrefenoll@gmail.com>
    @fenollp
    fenollp committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    7fad0a0 View commit details
    Browse the repository at this point in the history