2 Pull requests merged by 2 people

• Fix typos

  #836 merged Aug 13, 2025

• Bump actions/checkout from 4 to 5

  #834 merged Aug 12, 2025

1 Pull request opened by 1 person

• Java Extension Optimizations

  #835 opened Aug 13, 2025

1 Unresolved conversation

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Use Vector API in the Java Extension

  #824 commented on Aug 14, 2025 • 0 new comments