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

Add steep checkfile command #650

Merged
merged 17 commits into from
Oct 5, 2022
Merged

Add steep checkfile command #650

merged 17 commits into from
Oct 5, 2022

Commits on Oct 4, 2022

  1. Type check ChangeBuffer

    @soutaro
    soutaro committed Oct 4, 2022
    Configuration menu
    Copy the full SHA
    4203677 View commit details
    Browse the repository at this point in the history

  2. Type check BaseWorker

    @soutaro
    soutaro committed Oct 4, 2022
    Configuration menu
    Copy the full SHA
    3874459 View commit details
    Browse the repository at this point in the history

  3. Type check TypeCheckWorker

    @soutaro
    soutaro committed Oct 4, 2022
    Configuration menu
    Copy the full SHA
    e695b9d View commit details
    Browse the repository at this point in the history

  4. TypeCheck SignatureService & TypeCheckService

    @soutaro
    soutaro committed Oct 4, 2022
    Configuration menu
    Copy the full SHA
    70328ad View commit details
    Browse the repository at this point in the history

  5. RBS 2.7.0.pre.2

    @soutaro
    soutaro committed Oct 4, 2022
    Configuration menu
    Copy the full SHA
    451dd97 View commit details
    Browse the repository at this point in the history

  6. Fix TypeCheckService type check

    @soutaro
    soutaro committed Oct 4, 2022
    Configuration menu
    Copy the full SHA
    f4add8e View commit details
    Browse the repository at this point in the history

  7. Revise Project#targets_for_path

    @soutaro
    soutaro committed Oct 4, 2022
    Configuration menu
    Copy the full SHA
    f6792ee View commit details
    Browse the repository at this point in the history

  8. securerandom

    @soutaro
    soutaro committed Oct 4, 2022
    Configuration menu
    Copy the full SHA
    8d11eb9 View commit details
    Browse the repository at this point in the history

  9. Type check Server::Master

    @soutaro
    soutaro committed Oct 4, 2022
    Configuration menu
    Copy the full SHA
    0d05dec View commit details
    Browse the repository at this point in the history

  10. Fix type error

    @soutaro
    soutaro committed Oct 4, 2022
    Configuration menu
    Copy the full SHA
    dfec793 View commit details
    Browse the repository at this point in the history

  11. Add types

    @soutaro
    soutaro committed Oct 4, 2022
    Configuration menu
    Copy the full SHA
    c72a764 View commit details
    Browse the repository at this point in the history

  12. Add checkfile command

    @soutaro
    soutaro committed Oct 4, 2022
    Configuration menu
    Copy the full SHA
    91d280c View commit details
    Browse the repository at this point in the history

  13. Accept directory names

    @soutaro
    soutaro committed Oct 4, 2022
    Configuration menu
    Copy the full SHA
    a679c29 View commit details
    Browse the repository at this point in the history

  14. Add --all-ruby and --all-rbs options

    @soutaro
    soutaro committed Oct 4, 2022
    Configuration menu
    Copy the full SHA
    0705896 View commit details
    Browse the repository at this point in the history

  15. Add --stdin option

    @soutaro
    soutaro committed Oct 4, 2022
    Configuration menu
    Copy the full SHA
    422dbad View commit details
    Browse the repository at this point in the history

  16. Fix command line arg handling

    @soutaro
    soutaro committed Oct 4, 2022
    Configuration menu
    Copy the full SHA
    0896cef View commit details
    Browse the repository at this point in the history

  17. Add tests

    @soutaro
    soutaro committed Oct 4, 2022
    Configuration menu
    Copy the full SHA
    0c2c9cc View commit details
    Browse the repository at this point in the history