Skip to content

Labels

Labels

19 labels

  • automated pr

    automated pr
    Opened by a bot

  • bug

    bug
    Something isn't working

  • ci on main: changes only

    ci on main: changes only
    Before merging: on main, rerun only the jobs the merged files can affect (never on a release PR)

  • dependencies

    dependencies
    Pull requests that update a dependency file

  • dev

    dev
    Internal change, no user-facing impact

  • documentation

    documentation
    Improvements or additions to documentation

  • documentation push preview

    documentation push preview
    With 'run documentation': also deploy a preview of the docs

  • duplicate

    duplicate
    This issue or pull request already exists

  • feature

    feature
    New feature or request

  • formatting

    formatting
    Code formatting only

  • good first issue

    good first issue
    Good for newcomers

  • help wanted

    help wanted
    Extra attention is needed

  • no changelog

    no changelog
    Skip the changelog check

  • question

    question
    Further information is requested

  • release

    release
    Release preparation

  • run breakage

    run breakage
    Trigger the Breakage workflow on this PR

  • run ci github-runner

    run ci github-runner
    Trigger the CI workflow on GitHub-hosted runners

  • run documentation

    run documentation
    Trigger the Documentation workflow on this PR

  • wontfix

    wontfix
    This will not be worked on