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 error reporting and some outputs #764

Merged
merged 12 commits into from
Nov 10, 2023
Merged

Fix error reporting and some outputs #764

merged 12 commits into from
Nov 10, 2023

Commits on Nov 7, 2023

  1. Add pubber badConfig phase option

    @grafnu
    grafnu committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    d29307e View commit details
    Browse the repository at this point in the history

  2. Add broken version variant

    @grafnu
    grafnu committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    caa4dc9 View commit details
    Browse the repository at this point in the history

  3. Fix expected output sequences

    @grafnu
    grafnu committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    c062d96 View commit details
    Browse the repository at this point in the history

  4. Fix generated.md

    @grafnu
    grafnu committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    aa568be View commit details
    Browse the repository at this point in the history

  5. Fix bad state generation

    @grafnu
    grafnu committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    799c644 View commit details
    Browse the repository at this point in the history

  6. Cleanup itemized

    @grafnu
    grafnu committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    daf834c View commit details
    Browse the repository at this point in the history

Commits on Nov 9, 2023

  1. Merge branch 'master' into notinteresting

    @grafnu
    grafnu committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    076fe0d View commit details
    Browse the repository at this point in the history

  2. Version string error handling

    @grafnu
    grafnu committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    bd1500c View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into notinteresting

    @grafnu
    grafnu committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    54ca1e2 View commit details
    Browse the repository at this point in the history

  4. Diagnostic cleanup

    @grafnu
    grafnu committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    9f50575 View commit details
    Browse the repository at this point in the history

  5. Invert polarity of clean flag

    @grafnu
    grafnu committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    92a50c0 View commit details
    Browse the repository at this point in the history

  6. Add missing results

    @grafnu
    grafnu committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    f11a828 View commit details
    Browse the repository at this point in the history