Skip to content

Check that user-defined namespace is actually compilable #30

Open
Open
Check that user-defined namespace is actually compilable#30
Assignees
leha-bot
Labels
enhancementNew feature or requestinfrastructureAny improvements to build system, package management and CI

Description

@leha-bot
leha-bot
opened on Sep 23, 2023

PR #16 had an conversion about checking user-defined namespace for sanity. We decide to postpone this check as it requires some research.

Related to #15.

Metadata

Metadata

Assignees

Labels

enhancementNew feature or requestinfrastructureAny improvements to build system, package management and CI

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions