Skip to content

Be case insensitive in parsing identifiers #30

@marfvr

Description

@marfvr

Is your feature request related to a problem? Please describe.

Currently, we are not case-insensitive when parsing domains and problems identifiers

Describe the solution you'd like
Be case insensitive in parsing identifiers.

Describe alternatives you've considered
n/a

Additional context
n/a

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions