Labels

• benchmarks

  Any change that affects our benchmark suite.
• blocked

  Any issue or pull request whose fix is blocked by third parties or ongoing improvements.
• bug

  A defect or misbehaviour.
• build
• build pipelining
• build server

  Any issue or pull request that has to do with hot compilers or BSP.
• buildpress
• ci
• cli
• community

  Any change or proposal that is contributed by the Open Source Community.
• compilation
• configuration format

  Assigned to any ticket or pull request that will change the configuration file format.
• dependencies

  Pull requests that update a dependency file
• difficulty / easy

  Any change that is easy to implement.
• difficulty / hard

  Any change that is hard to implement.
• discussion

  Any label or pull request that contains a relevant discussion.
• docs
• duplicate
• enhancement
• ergonomics

  Any change that affects developer ergonomics and the easiness of use of bloop.
• experiment
• feature
• github_actions

  Pull requests that update GitHub Actions code
• good first issue
• gradle
• help wanted
• install
• integrations
• invalid
• java

  Pull requests that update Java code