Labels

• benefits native prover
• BLOCKED
• bug

  Something isn't working
• CI
• dump-performance
• feature-request

  Issues that specify work that is requested by others
• good first issue

  Good for newcomers
• macOS
• no changelog
• no-typo-check
• noop

  Issues that might not require actual code change, but just a quick eye-balling check.
• pkg-pr-release

  Creates a release using pkg.pr.new
• rfc

  Issues that contain some important documentation
• team-future-zkapps
• user value
• ux

  Changes on the API that improve user experience.