[Amber] Fix: [Amber] Refresh button on workspaces page does not work#440

github-actions[bot] wants to merge 1 commit intomainambient-code/platform:mainfrom

amber/issue-439-amber-refresh-button-on-workspaces-page-does-not-wambient-code/platform:amber/issue-439-amber-refresh-button-on-workspaces-page-does-not-wCopy head branch name to clipboard