Skip to content

WIP: trying to reproduce a rare bug#126

Closed
Ostrzyciel wants to merge 11 commits intomainfrom
piotr/try-to-crash-the-jvm
Closed

WIP: trying to reproduce a rare bug#126
Ostrzyciel wants to merge 11 commits intomainfrom
piotr/try-to-crash-the-jvm

Conversation

@Ostrzyciel
Copy link
Member

Failure log: https://github.com/Jelly-RDF/cli/actions/runs/15229163140/job/42834915135

I can't get it to fail on my machine. I will try with CI machines...

Failure log: https://github.com/Jelly-RDF/cli/actions/runs/15229163140/job/42834915135

I can't get it to fail on my machine. I will try with CI machines...
@Ostrzyciel Ostrzyciel marked this pull request as draft May 24, 2025 20:49
@Ostrzyciel
Copy link
Member Author

ok, yeah, found it, the issue was sharing the cached size between cloned instances of RdfStreamOptions... I'll submit a PR to fix it in jelly-jvm in a moment

Ostrzyciel added a commit that referenced this pull request May 25, 2025
This will resolve the issue observed in #126 owing to the fix here: Jelly-RDF/jelly-jvm#404
@Ostrzyciel
Copy link
Member Author

Closing, issue resolved in #127

@Ostrzyciel Ostrzyciel closed this May 25, 2025
@Ostrzyciel Ostrzyciel deleted the piotr/try-to-crash-the-jvm branch May 25, 2025 09:26
Karolina-Bogacka pushed a commit that referenced this pull request May 25, 2025
This will resolve the issue observed in #126 owing to the fix here: Jelly-RDF/jelly-jvm#404
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant