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

Export exit codes to JSON output #371

Merged
merged 3 commits into from
May 10, 2021
Merged

Export exit codes to JSON output #371

merged 3 commits into from
May 10, 2021

Commits on Feb 28, 2021

  1. Export exit codes to JSON output

    @JordiChauzi
    JordiChauzi committed Feb 28, 2021
    Configuration menu
    Copy the full SHA
    979598e View commit details
    Browse the repository at this point in the history

Commits on May 9, 2021

  1. Store exit codes as Options (and remove unwrapping)

    @JordiChauzi
    JordiChauzi committed May 9, 2021
    Configuration menu
    Copy the full SHA
    59bb138 View commit details
    Browse the repository at this point in the history

Commits on May 10, 2021

  1. Avoid confusion between exit code and signal values

    @JordiChauzi
    JordiChauzi committed May 10, 2021
    Configuration menu
    Copy the full SHA
    153f34d View commit details
    Browse the repository at this point in the history