Skip to content

Bump Patronus to 0.35.0#251

Merged
ekiwi merged 1 commit into
mainfrom
dontcare
Jun 22, 2026
Merged

Bump Patronus to 0.35.0#251
ekiwi merged 1 commit into
mainfrom
dontcare

Conversation

@Nikil-Shyamsunder

@Nikil-Shyamsunder Nikil-Shyamsunder commented Jun 22, 2026

Copy link
Copy Markdown
Collaborator
  • bumps Patronus to 0.35.0
  • this affected relying on 0.34.2 in the graph interpreter and lowering. there were a few places where I was relying on indexing or the length of the underlying expression context that I was able to solve through maintaing a HashSet of DontCares.
  • also fixed a few typos in comments.

@ekiwi ekiwi merged commit 28597ee into main Jun 22, 2026
16 checks passed
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