Skip to content

Labels

Labels

18 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

  • invalid

    invalid
    This doesn't seem right

  • javascript

    javascript
    Pull requests that update javascript code

  • pack

    pack
    Regulation pack: a new pack, or a change to a shipped one

  • python

    python
    Pull requests that update python code

  • question

    question
    Further information is requested

  • wanted: design

    wanted: design
    Visual identity, terminal interface and presentation work

  • wanted: engine

    wanted: engine
    A verifier/engine integration worth adding

  • wanted: model/SUT

    wanted: model/SUT
    A system/model type worth adding as a subject

  • wanted: pack

    wanted: pack
    A regulation worth a new pack (clears the ROADMAP bar)

  • wontfix

    wontfix
    This will not be worked on