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

Fix property handling and add tests and docs (backport #3791) #3795

Merged
merged 4 commits into from
Oct 22, 2024

Conversation

lefou
Copy link
Member

@lefou lefou commented Oct 21, 2024

Fixes #3789. We just
accidentally flipped the conditional and didn't have any tests that
verify this behavior, so I added some example tests that also serve to
explain the feature in the docs.

Backport of pull request: #3791

Fixes com-lihaoyi#3789. We just
accidentally flipped the conditional and didn't have any tests that
verify this behavior, so I added some example tests that also serve to
explain the feature in the docs
@lefou lefou changed the title Fix property handling and add tests and docs (#3791) Fix property handling and add tests and docs (backport #3791) Oct 21, 2024
@lefou
Copy link
Member Author

lefou commented Oct 22, 2024

CI tests fail most likely because the env var declaration at the beginning of the promt isn't supported.

@lihaoyi
Copy link
Member

lihaoyi commented Oct 22, 2024

can probably just skip the env var test and just leave the properties test which is what aftually covers the fix (env var test was just extra)

@lefou
Copy link
Member Author

lefou commented Oct 22, 2024

can probably just skip the env var test and just leave the properties test which is what aftually covers the fix (env var test was just extra)

Good point. This makes is a bit easier. :-)

@lefou lefou marked this pull request as ready for review October 22, 2024 20:28
@lefou lefou added this to the 0.11.13 milestone Oct 22, 2024
@lefou lefou merged commit ffdfaf1 into com-lihaoyi:0.11.x Oct 22, 2024
30 checks passed
@lefou lefou deleted the backport-3791 branch October 22, 2024 20:31
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.

2 participants