Labels

• bug

  Something isn't working
• CI
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• frontend
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• internal-only

  Bugs that only affect Geb language developers, not Geb clients (such as Juvix) or users
• invalid

  This doesn't seem right
• juvix-integration
• optimization
• question

  Further information is requested
• research
• static-analysis

  Static Analysis tools
• stlc-fragment
• testing

  Bugs in or enhancements to tests
• tooling
• wontfix

  This will not be worked on