Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

WIP for new local JVM API #322

Merged
merged 1 commit into from
May 6, 2022

Conversation

vorburger
Copy link
Member

WIP re. #310 and #295 and #58

@edewit I think I'm on to something here... how do you like? It's still very raw, completely untested, probably doesn't even build, obivoulsy needs a bit more work, but I wanted to share it with you already so that you can see how I'm thinking we could possible do this.

@vorburger vorburger mentioned this pull request Apr 4, 2022
@vorburger vorburger force-pushed the issue-295_localJS-1st branch 3 times, most recently from c86bf66 to dd87496 Compare April 6, 2022 22:22
@vorburger vorburger force-pushed the issue-295_localJS-1st branch 3 times, most recently from fcec6f4 to 7d4a2a6 Compare April 8, 2022 15:42
@vorburger vorburger force-pushed the issue-295_localJS-1st branch 4 times, most recently from 0b0c558 to 16e1900 Compare May 6, 2022 15:05
@vorburger vorburger force-pushed the issue-295_localJS-1st branch from 16e1900 to f21afdc Compare May 6, 2022 15:09
@vorburger vorburger requested a review from edewit May 6, 2022 15:10
@vorburger vorburger marked this pull request as ready for review May 6, 2022 15:10
Copy link
Member

@edewit edewit left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

@edewit edewit merged commit f9cfdf0 into OASIS-learn-study:develop May 6, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants