Skip to content

Depicting propertyNames for z.record()#2545

Merged
RobinTail merged 2 commits intomasterfrom
record-prop-names-type
Apr 17, 2025
Merged

Depicting propertyNames for z.record()#2545
RobinTail merged 2 commits intomasterfrom
record-prop-names-type

Conversation

@RobinTail
Copy link
Copy Markdown
Owner

when it's not literal, general case.
discovered while working on #2537

@RobinTail RobinTail added the enhancement New feature or request label Apr 17, 2025
@RobinTail RobinTail marked this pull request as ready for review April 17, 2025 10:02
@coveralls-official
Copy link
Copy Markdown

coveralls-official Bot commented Apr 17, 2025

Coverage Status

coverage: 100.0%. remained the same
when pulling 82fa440 on record-prop-names-type
into 96ddbbd on master.

@RobinTail RobinTail force-pushed the record-prop-names-type branch from 4958330 to 82fa440 Compare April 17, 2025 10:12
@RobinTail RobinTail merged commit 6ee91bd into master Apr 17, 2025
12 checks passed
@RobinTail RobinTail deleted the record-prop-names-type branch April 17, 2025 10:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant