Skip to content

Comments

chore: Avoid using the same parse cache for both jsonnet and variables#280

Merged
stephenamar-db merged 1 commit intodatabricks:masterfrom
He-Pin:seperateCache
Apr 17, 2025
Merged

chore: Avoid using the same parse cache for both jsonnet and variables#280
stephenamar-db merged 1 commit intodatabricks:masterfrom
He-Pin:seperateCache

Conversation

@He-Pin
Copy link
Contributor

@He-Pin He-Pin commented Apr 17, 2025

Motivation:
fix: #279

Otherwise, if a static parse cache is used, then the same extVar/tlaVar with a different value will be cached.

Modification:
Separate the varParseCache

@He-Pin
Copy link
Contributor Author

He-Pin commented Apr 17, 2025

@stephenamar-db Would you like give this a look, thanks.

@stephenamar-db stephenamar-db merged commit bab645c into databricks:master Apr 17, 2025
6 checks passed
@He-Pin He-Pin deleted the seperateCache branch April 18, 2025 02:41
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.

seperate the parseCache for parse jsonnet and extVars/tlaVars

2 participants