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

Require js_of_ocaml >= 6 #11487

Merged
merged 1 commit into from
Feb 18, 2025
Merged

Conversation

Leonidas-from-XIV
Copy link
Collaborator

It works with older versions but the error message changed in version 6, so the test fail due to the wording of the error if the person uses jsoo.5.9.1.

This makes sure that people updating their system using make dev-switch will get their possibly existing installation updated.

It works with older versions but the error message changed in version 6,
so the test fail due to the wording of the error. This makes sure that
people updating their system using `make dev-switch` will get their
possibly existing installation updated.

Signed-off-by: Marek Kubica <[email protected]>
@Leonidas-from-XIV Leonidas-from-XIV added the chore Something that just needs to be done. label Feb 18, 2025
Leonidas-from-XIV added a commit to Leonidas-from-XIV/dune that referenced this pull request Feb 18, 2025
Otherwise the describe test is failing because the description does not
match.

Similar reasoning as ocaml#11487.

Signed-off-by: Marek Kubica <[email protected]>
Copy link
Collaborator

@nojb nojb left a comment

Choose a reason for hiding this comment

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

LGTM

@nojb nojb merged commit c54ffd3 into ocaml:main Feb 18, 2025
25 checks passed
nojb added a commit that referenced this pull request Feb 18, 2025
Otherwise the describe test is failing because the description does not
match.

Similar reasoning as #11487.

Signed-off-by: Marek Kubica <[email protected]>
Co-authored-by: Nicolás Ojeda Bär <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore Something that just needs to be done.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants