Skip to content

Remove playground submodule from repo #511

@v1r0x

Description

@v1r0x

The additional si unit PR added the playground submodule (again). Can we remove this and only add this in local environment if needed? @Severino

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions