Skip to content

Labels

Labels

41 labels

  • bot

    bot
    Automated action by gitbot-fleet

  • breaking-change

    breaking-change
    Introduces a breaking change

  • bug

    bug
    Something isn't working

  • ci/cd

    ci/cd
    Continuous integration and deployment

  • 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

  • good first issue

    good first issue
    Good for newcomers

  • help wanted

    help wanted
    Extra attention is needed

  • hypatia

    hypatia
    Hypatia neurosymbolic scanner finding

  • invalid

    invalid
    This doesn't seem right

  • licensing

    licensing
    Licences, SPDX headers, REUSE compliance, attribution

  • meta:campaign

    meta:campaign
    Coordinated multi-repo push with a defined end state

  • meta:recurring

    meta:recurring
    Recurs on a schedule or by trigger; never finally closed

  • meta:roadmap

    meta:roadmap
    Forward planning; not yet actionable work

  • meta:umbrella

    meta:umbrella
    Parent issue aggregating child issues

  • migration

    migration
    Porting between languages or toolchains (e.g. -> AffineScript)

  • packaging

    packaging
    Guix, Nix, containers, distribution artefacts

  • performance

    performance
    Performance improvement

  • priority:p0

    priority:p0
    Critical - drop other work

  • priority:p1

    priority:p1
    High - schedule next

  • priority:p2

    priority:p2
    Normal - queue it

  • priority:p3

    priority:p3
    Low - nice to have

  • proofs

    proofs
    Formal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debt

  • question

    question
    Further information is requested

  • refactor

    refactor
    Code refactoring with no functional change

  • research

    research
    Open investigation; the outcome is knowledge, not code

  • rsr

    rsr
    Rhodium Standard Repository compliance

  • scaffolding

    scaffolding
    RSR templates, repo init, instantiation, project skeletons