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

Use an EISOP CF build #155

Draft
wants to merge 25 commits into
base: main
Choose a base branch
from
Draft

Use an EISOP CF build #155

wants to merge 25 commits into from

Conversation

wmdietl
Copy link
Collaborator

@wmdietl wmdietl commented Feb 6, 2024

PRs will merge into the main-eisop branch with individual, review-able updates.
We will rebase merge main into main-eisop, to keep the history clean.
Once CI passes on this PR, we are done.
This draft PR is just to preview all changes.

Fixes #30.

@wmdietl wmdietl changed the title Use an EISOP CF release Use an EISOP CF build Apr 22, 2024
cpovirk and others added 3 commits August 14, 2024 13:44
...by always performing capture conversion in _strict_ mode, where there
is a better-defined hierarchy (non-null < unspecified < nullable, with
no "but also unspecified < non-null if you want).

Fixes #193
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.

Rebase onto eisop
2 participants