[WEB-763] fix: workspace remains listed after leaving the workspace in the user profile (#3993)

Browse source

* chore: build error

* fix: workspace not getting removed when user leaves the workspace

...

This commit is contained in:

guru_sainath 2024-03-20 13:43:18 +05:30 • committed by GitHub

parent 0f79c6d7d8

commit 7d3a96b3d0

No known key found for this signature in database

GPG key ID: B5690EEEBB952194

8 changed files with 128 additions and 34 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files

BIN

web/public/workspace/workspace-not-available.png Normal file

View file

Binary file not shown.

Side by side After Width:  |  Height:  |  Size: 188 KiB