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

check install: undefined variable default to false #5701

Merged
merged 2 commits into from
Oct 30, 2023

Conversation

rjbou
Copy link
Collaborator

@rjbou rjbou commented Oct 16, 2023

todo

  • changes
  • add test

@kit-ty-kate kit-ty-kate added PR: WIP Not for merge at this stage PR: WAITING FOR REVIEW labels Oct 16, 2023
@rjbou rjbou force-pushed the check_installed_undef_default branch from f3e6cb4 to 8641130 Compare October 25, 2023 16:28
@rjbou rjbou removed the PR: WIP Not for merge at this stage label Oct 25, 2023
@rjbou
Copy link
Collaborator Author

rjbou commented Oct 25, 2023

Updated!

@rjbou rjbou force-pushed the check_installed_undef_default branch from 8a9692b to 6bce31d Compare October 28, 2023 13:35
@kit-ty-kate
Copy link
Member

Thanks

@kit-ty-kate kit-ty-kate merged commit c4961ba into ocaml:master Oct 30, 2023
29 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants