Labels

• automation

  Automation updates
• autopublish

  Auto-publish PR opened by the daily cron
• autopublish-failure

  Auto-publish workflow failed on this run
• autopublish-status

  Pinned status issue for the auto-publish cron
• bug

  Something isn't working
• dependencies

  Dependency updates
• documentation

  Improvements or additions to documentation
• enhancement

  New feature or request
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• question

  Further information is requested
• verification-guide

  Feedback on the Verification Guide — proof strategies, error patterns, Rust subset issues