Labels

• annotations

  annotations

• arrow

  arrow

• bug

  bug

• class

  class

• dependencies

  dependencies

  Pull requests that update a dependency file

• duplicate

  duplicate

• enhancement

  enhancement

• github_actions

  github_actions

  Pull requests that update GitHub Actions code

• gnats-migrated

  gnats-migrated

• good first issue

  good first issue

• in-progress

  in-progress

• incomplete-monitoring

  incomplete-monitoring

• inference

  inference

• kind

  kind

• match

  match

• needs-update

  needs-update

• optimizer

  optimizer

• refinement

  refinement

• reviewed

  reviewed

• RFC

  RFC

  Includes an RFC

• struct

  struct

• unsound

  unsound