Labels

• odd-wg-task

  ODD WG internal task.
• priority:high

  High urgency/importance.
• priority:low

  Low urgency/importance.
• status:backlog

  Issues to be handled at a later time.
• tag:bot

  For bot-triggered PRs
• tag:sync-files
• type:bug

  Issues raised by the ODD WG.
• type:documentation

  Creating or refining documentation.
• type:duplicate

  Duplicated issues.
• type:github-actions

  For Github actions-triggered PRs
• type:good-first-issue

  Suitable for newcomers.
• type:improvement

  Proposed enhancement.
• type:map-fix

  Fixing the map of a failing scenario.
• type:need-triage

  Scenario failures that need to be triaged and transferred to the correct repository.
• type:new-odd-definition

  New ODD definition.
• type:new-scenario

  New scenario description.
• type:new-use-case

  New ODD use case description.
• type:scenario-fix

  Fixing an existing scenario that is misbehaving.