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

Actor isolation inheritance #2210

Closed
wants to merge 4 commits into from
Closed

Actor isolation inheritance #2210

wants to merge 4 commits into from

Commits on Nov 10, 2023

  1. Extract the isolation-inheritance proposal from my earlier proposal 

    that combined this awkwardly with some closure isolation features.
    @rjmccall
    rjmccall committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    cc4141b View commit details
    Browse the repository at this point in the history

  2. Add missing isolated to example 

    Thanks, Konrad!

Co-authored-by: Konrad `ktoso` Malawski <konrad.malawski@project13.pl>
    @rjmccall @ktoso
    rjmccall and ktoso authored Nov 10, 2023
    Configuration menu
    Copy the full SHA
    629a914 View commit details
    Browse the repository at this point in the history

  3. Link to pitch

    @rjmccall
    rjmccall authored Nov 10, 2023
    Configuration menu
    Copy the full SHA
    48fbbec View commit details
    Browse the repository at this point in the history

  4. Fix typo 

    Thanks, @arennow!

Co-authored-by: Aaron Rennow <30298575+arennow@users.noreply.github.com>
    @rjmccall @arennow
    rjmccall and arennow authored Nov 10, 2023
    Configuration menu
    Copy the full SHA
    26b951f View commit details
    Browse the repository at this point in the history