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

[Merged by Bors] - Pointerfication followup: Type safety and cleanup #4621

Closed
wants to merge 12 commits into from
Closed

[Merged by Bors] - Pointerfication followup: Type safety and cleanup #4621

wants to merge 12 commits into from

Commits on Apr 28, 2022

  1. Followup: inner -> cast.

    @james7132
    james7132 committed Apr 28, 2022
    Configuration menu
    Copy the full SHA
    b74ab7d View commit details
    Browse the repository at this point in the history

  2. Fix tests

    @james7132
    james7132 committed Apr 28, 2022
    Configuration menu
    Copy the full SHA
    600f60a View commit details
    Browse the repository at this point in the history

Commits on Apr 30, 2022

  1. Revert inner -> cast.

    @james7132
    james7132 committed Apr 30, 2022
    Configuration menu
    Copy the full SHA
    46ca843 View commit details
    Browse the repository at this point in the history

Commits on May 1, 2022

  1. as_ptr and drop_as

    @james7132
    james7132 committed May 1, 2022
    Configuration menu
    Copy the full SHA
    2510881 View commit details
    Browse the repository at this point in the history

  2. Formatting

    @james7132
    james7132 committed May 1, 2022
    Configuration menu
    Copy the full SHA
    8693468 View commit details
    Browse the repository at this point in the history

  3. as_ptr -> to_ptr

    @james7132
    james7132 committed May 1, 2022
    Configuration menu
    Copy the full SHA
    7416fd3 View commit details
    Browse the repository at this point in the history

  4. Inline

    @james7132
    james7132 committed May 1, 2022
    Configuration menu
    Copy the full SHA
    6e939e1 View commit details
    Browse the repository at this point in the history

  5. Shut up clippy

    @james7132
    james7132 committed May 1, 2022
    Configuration menu
    Copy the full SHA
    afdd684 View commit details
    Browse the repository at this point in the history

  6. Revert back to as_ptr, make pub again.

    @james7132
    james7132 committed May 1, 2022
    Configuration menu
    Copy the full SHA
    62da3fd View commit details
    Browse the repository at this point in the history

  7. Update docs

    @james7132
    james7132 committed May 1, 2022
    Configuration menu
    Copy the full SHA
    114bc59 View commit details
    Browse the repository at this point in the history

  8. Fix CI

    @james7132
    james7132 committed May 1, 2022
    Configuration menu
    Copy the full SHA
    405fb89 View commit details
    Browse the repository at this point in the history

  9. More docs fixes

    @james7132
    james7132 committed May 1, 2022
    Configuration menu
    Copy the full SHA
    c62d2e5 View commit details
    Browse the repository at this point in the history