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

Final removal of actors #57

Merged
merged 3 commits into from
Aug 20, 2022
Merged

Final removal of actors #57

merged 3 commits into from
Aug 20, 2022

Conversation

rvsrvs
Copy link
Contributor

@rvsrvs rvsrvs commented Aug 20, 2022

No description provided.

rvsrvs added 3 commits August 20, 2022 17:26
Signed-off-by: EandJsFilmCrew <789213+rvsrvs@users.noreply.github.com>
Signed-off-by: EandJsFilmCrew <789213+rvsrvs@users.noreply.github.com>
Semaphore may still need some thought, but tests pass

Signed-off-by: EandJsFilmCrew <789213+rvsrvs@users.noreply.github.com>
@rvsrvs rvsrvs merged commit 408708c into master Aug 20, 2022
@rvsrvs rvsrvs deleted the wip branch August 20, 2022 23:45
rvsrvs added a commit that referenced this pull request Aug 21, 2022
* Cleanup TimeNever

Signed-off-by: EandJsFilmCrew <789213+rvsrvs@users.noreply.github.com>

* Documentation update

Signed-off-by: EandJsFilmCrew <789213+rvsrvs@users.noreply.github.com>

* Final removal actors.

Semaphore may still need some thought, but tests pass

Signed-off-by: EandJsFilmCrew <789213+rvsrvs@users.noreply.github.com>

Signed-off-by: EandJsFilmCrew <789213+rvsrvs@users.noreply.github.com>
rvsrvs added a commit that referenced this pull request Aug 21, 2022
rvsrvs added a commit that referenced this pull request Aug 21, 2022
rvsrvs added a commit that referenced this pull request Aug 21, 2022
* Revert "Final removal of actors (#57)"

This reverts commit 2f8d44c.

* Update dock, add types from Atomics, fix Counter bug

Signed-off-by: EandJsFilmCrew <789213+rvsrvs@users.noreply.github.com>

Signed-off-by: EandJsFilmCrew <789213+rvsrvs@users.noreply.github.com>
rvsrvs added a commit that referenced this pull request Aug 21, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant