Skip to content

Enable ignored tests: renaming and liquid haskell #527

Closed
@jneira

Description

@jneira
  • Follow up of Add tests #5
  • Some of them do not have implemented the functionality
  • We could change the cause of being ignored to help enable them progresively

Metadata

Metadata

Assignees

No one assigned

    Labels

    CIContinuous integrationtype: enhancementNew feature or request

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions