Skip to content

Improve page titles for root schema pages - #169

Merged
gnidan merged 1 commit into
mainfrom
titles
Feb 11, 2026
Merged

gnidan merged 1 commit into
mainfrom
titles

Conversation

@gnidan

@gnidan gnidan commented Feb 11, 2026

Copy link
Copy Markdown
Member

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

github-actions Bot commented Feb 11, 2026 •

Copy link
Copy Markdown
Contributor
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