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

feat: workspace worker #74

Merged
merged 1 commit into from
Nov 22, 2024
Merged

feat: workspace worker #74

merged 1 commit into from
Nov 22, 2024

Conversation

zaaarf
Copy link
Member

@zaaarf zaaarf commented Nov 19, 2024

Rewritten good parts of the Workspace controller, separated in a more familiar (and less messy) worker strcuture.

Should also fix a known issue with workspace events.

@zaaarf zaaarf force-pushed the feat/workspace-worker branch from 007121b to 1147084 Compare November 19, 2024 23:21
@ghyatzo
Copy link
Member

ghyatzo commented Nov 21, 2024

Are we waiting on something or can we merge this?

@zaaarf
Copy link
Member Author

zaaarf commented Nov 22, 2024

Are we waiting on something or can we merge this?

tests succeeding, i'll rebase and merge it

@zaaarf zaaarf force-pushed the feat/workspace-worker branch from 1147084 to 34fd4bd Compare November 22, 2024 21:03
@zaaarf zaaarf enabled auto-merge November 22, 2024 21:10
@zaaarf zaaarf merged commit 362a968 into dev Nov 22, 2024
16 checks passed
@zaaarf zaaarf deleted the feat/workspace-worker branch November 22, 2024 21:11
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.

3 participants