Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
🤖 I have created a release *beep* *boop* --- ## [0.1.3](v0.1.2...v0.1.3) (2023-07-27) ### Features * **ui:** add tags to workspace widget ([#543](#543)) ([3000c09](3000c09)) * **ui:** show resources and outputs on workspace page ([#542](#542)) ([d792e23](d792e23)), closes [#308](#308) ### Bug Fixes * **ui:** style variables table ([ed67d57](ed67d57)) --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please). Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
- Loading branch information