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.

Sign up for GitHub

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

Jump to bottom

Update issues #328

Merged

jmid merged 2 commits into main from update-issues

Apr 15, 2023

Collaborator

jmid commented Apr 14, 2023

This PR updates the list of issues

marking the Weak Hash set crash as solved
adding the MingW Sys.rename issue

jmid added 2 commits

April 14, 2023 15:07


          Mark the Weak Hashset issue as fixed

056be7d


          Add Sys.rename MingW issue

307d6c7

Collaborator Author

jmid commented Apr 15, 2023

CI summary:

two threadomain crashes on Windows bytecode trunk and 5.0.0
a threadomain deadlock on Windows bytecode trunk
Linux 5.0.0 timing out since Lin DSL Weak HashSet test took a whopping 8505.5s

jmid merged commit 1468fb2 into main

28 of 32 checks passed

jmid deleted the update-issues branch

April 15, 2023 17:39

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment