Labels

• dependencies

  dependencies

  Pull requests that update a dependency file

• Good-first-issue :green_heart:

  Good-first-issue 💚

• Help-wanted :warning:

  Help-wanted ⚠️

• Host/Windows

  Host/Windows

• Integration/dune

  Integration/dune

• Integration/emacs

  Integration/emacs

• Integration/mdx

  Integration/mdx

• Integration/ocamllsp

  Integration/ocamllsp

• Integration/odoc

  Integration/odoc

• Integration/platform

  Integration/platform

• JaneStreet

  JaneStreet

• Kind/Bug :x:

  Kind/Bug ❌

• Kind/docs

  Kind/docs

• Kind/feature-request

  Kind/feature-request

• Kind/question

  Kind/question

• Kind/style-suggestion

  Kind/style-suggestion

• no changelog

  no changelog

  set this to bypass the CI check for changelog entries

• Priority/High :arrow_up:

  Priority/High ⬆️

• Priority/Low :arrow_down:

  Priority/Low ⬇️

• review-merged

  review-merged

  This PR was merged, but would benefit from reviewing after the fact