Labels

• bug

  Something isn't working
• changes to existing problems
• collaboration opportunity
• discussion needed
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• espresso core

  New feature or refactoring for core api
• espresso tools & CI

  New feature or refactoring for developer scripts or CI
• question

  Further information is requested
• suggestion for new test problem
• WIP

  Work in progress
• wontfix

  This will not be worked on