Labels

• CI

  Indicated that files in ./github/workflows are changed.
• feature

  This is a new feature.
• fix

  This is a bug/typo fix.
• other

  This is neither a new feature nor a fix.
• Source

  Indicates that files in a "src" directory are changed.
• Wiki

  Indicates that files in ./wiki are changed.