Skip to content

Conversation

@gnidan
Copy link
Member

@gnidan gnidan commented Feb 11, 2026

Thanks @cameel for pointing out that the various top-level schemas get titled like:

Schema | ethdebug format

instead of the more useful:

Program schema | ethdebug format

This PR fixes that.

@github-actions
Copy link
Contributor

github-actions bot commented Feb 11, 2026

PR Preview Action v1.8.1
Preview removed because the pull request was closed.
2026-02-11 04:29 UTC

@gnidan gnidan merged commit 6eeccde into main Feb 11, 2026
4 checks passed
@gnidan gnidan deleted the titles branch February 11, 2026 04:25
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