Skip to content

Make top level workspace optional in JSON schema#562

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

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

Merge branch 'main' into workspace-opt

69755d4
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs