-
Notifications
You must be signed in to change notification settings - Fork 186
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
[BUG] Fatal error: exception Failure("of_int_exn") when compiling JSOO in 32bit OCaml switch. #1697
Labels
Comments
Edit, installed locally, here is the backtrace:
|
We should probably add a 32bit switch to the CI |
Fail seems to happen at |
Not sure what is going on, but |
Fixed in #1699 |
Thanks! CI for 32 bit should be happening in #1698 . |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Likely due to #1693 , see log at coq-lsp CI for the build failure log, the CI there is pinned to JSOO
master
branch due to other fixes so this is how I came to detect this bug:The text was updated successfully, but these errors were encountered: