Skip to content

Labels

Labels

14 labels

  • bug

    bug
    Something isn't working

  • dependencies

    dependencies
    Pull requests that update a dependency file

  • documentation

    documentation
    Improvements or additions to documentation

  • duplicate

    duplicate
    This issue or pull request already exists

  • enhancement

    enhancement
    New feature or request

  • github_actions

    github_actions
    Pull requests that update GitHub Actions code

  • good first issue

    good first issue
    Good for newcomers

  • help wanted

    help wanted
    Extra attention is needed

  • install

    install
    Improve user experience during the install phase

  • invalid

    invalid
    This doesn't seem right

  • nix

    nix
    Issues that happen on a nix install of idris

  • parsing

    parsing
    When parsing fails (command args, json, Dhall)

  • question

    question
    Further information is requested

  • wontfix

    wontfix
    This will not be worked on