Skip to content

Labels

Labels

13 labels

  • bug

    bug
    Something isn't working

  • ci

    ci
    CI workflows, validation wiring and gates

  • documentation

    documentation
    Improvements or additions to documentation

  • duplicate

    duplicate
    This issue or pull request already exists

  • enhancement

    enhancement
    New feature or request

  • good first issue

    good first issue
    Good for newcomers

  • help wanted

    help wanted
    Extra attention is needed

  • invalid

    invalid
    This doesn't seem right

  • question

    question
    Further information is requested

  • security

    security
    Security policy, reporting channels and hardening

  • spec

    spec
    Compliance matrix, registers and schemas

  • verification

    verification
    Assurance contracts, formal verification assets and proofs

  • wontfix

    wontfix
    This will not be worked on