Labels

• Arrhenius

  Arrhenius

  projectname

• blocker

  blocker

• bug

  bug

• clean up

  clean up

• critical

  critical

  Highest priority: This has to be done first.

• Curie

  Curie

• dependencies

  dependencies

• documentation

  documentation

• enhancement

  enhancement

  General enhancement which is neither bug nor feature

• feature

  feature

• github_actions

  github_actions

  Pull requests that update GitHub Actions code

• good first issue

  good first issue

• Hertz

  Hertz

• high

  high

• low

  low

• Michelson

  Michelson

• needs discussion

  needs discussion

• needs info

  needs info

• needs investigation

  needs investigation

  The cause for a bug is not clear enough, so it has to be investigated for some time

• Onnes

  Onnes

• performance

  performance

• picked-to-staging

  picked-to-staging

• python

  python

  Pull requests that update Python code

• staging

  staging

• staging-port

  staging-port

• staging-t1

  staging-t1

• tests

  tests

• waiting

  waiting

  Waiting for some other PR/feature; more details in comments

• Zeeman

  Zeeman