Skip to content
This repository has been archived by the owner on Aug 31, 2023. It is now read-only.

feat(playground): add settings button and group IR #3559

Merged
merged 4 commits into from
Nov 10, 2022
Merged

feat(playground): add settings button and group IR #3559

merged 4 commits into from
Nov 10, 2022

Commits on Nov 4, 2022

  1. feat(playground): add settings button and group IR

    @dhrjarun
    dhrjarun committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    9127839 View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2022

  1. fix(playground): lint issue

    @dhrjarun
    dhrjarun committed Nov 8, 2022
    Configuration menu
    Copy the full SHA
    2b95dfc View commit details
    Browse the repository at this point in the history

Commits on Nov 10, 2022

  1. Merge branch 'rome:main' into feat-playground

    @dhrjarun
    dhrjarun authored Nov 10, 2022
    Configuration menu
    Copy the full SHA
    ea26cdd View commit details
    Browse the repository at this point in the history

  2. refactor(playground): settings button

    @dhrjarun
    dhrjarun committed Nov 10, 2022
    Configuration menu
    Copy the full SHA
    08c166d View commit details
    Browse the repository at this point in the history