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

Interface cleanup: wrapper mode default #49

Merged
merged 15 commits into from
Jan 10, 2024
Merged

Interface cleanup: wrapper mode default #49

merged 15 commits into from
Jan 10, 2024

Commits on Jan 10, 2024

  1. Remove fix command

    @nicovank
    nicovank committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    77c2d51 View commit details
    Browse the repository at this point in the history

  2. Import cleanup

    @nicovank
    nicovank committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    6fba56e View commit details
    Browse the repository at this point in the history

  3. Minor prompt fix

    @nicovank
    nicovank committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    0389c39 View commit details
    Browse the repository at this point in the history

  4. Rich output, typing

    @nicovank
    nicovank committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    a38c326 View commit details
    Browse the repository at this point in the history

  5. More argparse fixes

    @nicovank
    nicovank committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    120cb2e View commit details
    Browse the repository at this point in the history

  6. Complete wrapper behavior

    @nicovank
    nicovank committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    b4d227c View commit details
    Browse the repository at this point in the history

  7. Add back experimental tags

    @nicovank
    nicovank committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    533c88b View commit details
    Browse the repository at this point in the history

  8. Fix wrapper

    @nicovank
    nicovank committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    1e552f3 View commit details
    Browse the repository at this point in the history

  9. Fix regression tests

    @nicovank
    nicovank committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    086e8a9 View commit details
    Browse the repository at this point in the history

  10. Add typecheck to CI

    @nicovank
    nicovank committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    9c9ffba View commit details
    Browse the repository at this point in the history

  11. Fix sanity CI

    @nicovank
    nicovank committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    1a6f59b View commit details
    Browse the repository at this point in the history

  12. Fix regression CI

    @nicovank
    nicovank committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    8b10629 View commit details
    Browse the repository at this point in the history

  13. [bot] Generate current state of CWhy prompts (#50) 

    * [bot][macos] Generate current state of CWhy prompts

* [bot][ubuntu] Generate current state of CWhy prompts

---------

Co-authored-by: github-actions <[email protected]>
    @github-actions
    github-actions[bot] and github-actions committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    2b00b5d View commit details
    Browse the repository at this point in the history

  14. Fix extra newlines

    @nicovank
    nicovank committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    61825d2 View commit details
    Browse the repository at this point in the history

  15. Update README documentation

    @nicovank
    nicovank committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    bc2b9cf View commit details
    Browse the repository at this point in the history