Labels

• area:CI/CD
• area:core

  Changes affecting lakers and lakers-shared
• area:dependencies

  Pull requests that update a dependency file
• area:documentation

  Improvements or additions to documentation
• area:ead
• area:formal verification

  Anything hax related
• area:lakers-c
• area:lakers-python
• area:releases
• blocked:depends-on-third-party
• blocked:duplicate

  This issue or pull request already exists
• blocked:help wanted

  Extra attention is needed
• blocked:wontfix

  This will not be worked on
• procedure:good first issue

  Good for newcomers
• procedure:low-prio

  Items that do not have a large impact, are cosmetic or otherwise less important.
• procedure:trivial review
• procedure:urgent review

  This is assigned to PRs that many other PRs are blocked by / build on, so it should be prioritized.
• type:bug/fix

  Something isn't working / a PR fixes something that is not working
• type:cleanup
• type:enhancement

  New feature or request
• type:new feature