Skip to content

fix(blocks): spell the hex function in capitals - #164

Closed
kvlonge wants to merge 2 commits into
ci/gate-efficiencyfrom
fix/ci-proof-rule
Closed

kvlonge wants to merge 2 commits into
ci/gate-efficiencyfrom
fix/ci-proof-rule

Conversation

@kvlonge

@kvlonge kvlonge commented Nov 10, 2026

Copy link
Copy Markdown
Contributor

Why

Times the rebuilt CI on a converter change that alters some cases' SQL; it is closed without merging.

Changes

The hex text block spells HEX in capitals, which changes the converted SQL of the cases using it but not their results or sizes.

Verification

CI on this pull request.

kvlonge commented Nov 10, 2026

Copy link
Copy Markdown
Contributor Author

Proof PR for CI timing; closing as planned. Checks reused 8,124 of 8,127 replay judgements from the base branch's cache, and Verify passed.

@kvlonge kvlonge closed this Nov 10, 2026
@kvlonge
kvlonge deleted the fix/ci-proof-rule branch November 10, 2026 19:23
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.

1 participant