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.

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

added missing fiber sigs #1071

Merged
merged 6 commits into from
Aug 26, 2022
Merged

Commits on Aug 26, 2022

  1. added missing fiber sigs

    HoneyryderChuck authored and soutaro committed Aug 26, 2022
    Configuration menu
    Copy the full SHA
    0948a4d View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    6813f0d View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    2a737dc View commit details
    Browse the repository at this point in the history
  4. Run rbs annotate

    soutaro committed Aug 26, 2022
    Configuration menu
    Copy the full SHA
    2d4362c View commit details
    Browse the repository at this point in the history
  5. Fix Fiber_test

    Fix `raise` type
    soutaro committed Aug 26, 2022
    Configuration menu
    Copy the full SHA
    c5c64e0 View commit details
    Browse the repository at this point in the history
  6. Write type and add test

    soutaro committed Aug 26, 2022
    Configuration menu
    Copy the full SHA
    c605c88 View commit details
    Browse the repository at this point in the history