Skip to content
This repository has been archived by the owner on Jul 8, 2024. It is now read-only.

Remove Java bindings #114

Merged
merged 1 commit into from
Feb 28, 2024
Merged

Remove Java bindings #114

merged 1 commit into from
Feb 28, 2024

Conversation

calcmogul
Copy link
Member

@calcmogul calcmogul commented Feb 27, 2024

Choreo doesn't use it, and we don't really maintain it.

Choreo doesn't use it, and CI doesn't build the JNI.
@calcmogul calcmogul merged commit f9ca0f2 into SleipnirGroup:main Feb 28, 2024
21 checks passed
@calcmogul calcmogul deleted the remove-java-bindings branch February 28, 2024 00:18
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant