Skip to content

Make top level workspace optional in JSON schema#562

Merged
shreyas-goenka merged 2 commits intomainfrom
workspace-opt
Jul 7, 2023
Merged

Make top level workspace optional in JSON schema#562
shreyas-goenka merged 2 commits intomainfrom
workspace-opt

Commits

Commits on Jul 7, 2023