feat: Add "Outdated" tooltip and "Update version" button in the Workspaces page#2322
Merged
BrunoQuaresma merged 7 commits intomainfrom Jun 15, 2022
Commits
Commits on Jun 13, 2022
- committed
- committed
Commits on Jun 14, 2022
- committed
- committed
- committed