Skip to content

docs: rm code snippets and focus on doc#74

Merged
tcoratger merged 1 commit intoleanEthereum:mainfrom
tcoratger:docs
Oct 13, 2025
Merged

docs: rm code snippets and focus on doc#74
tcoratger merged 1 commit intoleanEthereum:mainfrom
tcoratger:docs

Conversation

@tcoratger
Copy link
Copy Markdown
Collaborator

@tcoratger tcoratger commented Oct 11, 2025

🗒️ Description

🔗 Related Issues or PRs

✅ Checklist

  • Ran tox checks to avoid unnecessary CI fails: 
    uvx --with=tox-uv tox
  • Considered adding appropriate tests for the changes.
  • Considered updating the online docs in the ./docs/ directory.

g11tech
g11tech approved these changes Oct 13, 2025
View reviewed changes
Copy link
Copy Markdown
Contributor

@g11tech g11tech left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@tcoratger tcoratger merged commit 632a7b7 into leanEthereum:main Oct 13, 2025
6 checks passed
@unnawut unnawut added specs Scope: Changes to the specifications docs Scope: docs Improvements or additions to documentation labels Oct 25, 2025
@unnawut unnawut added this to the pq-devnet-1 milestone Nov 28, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@g11tech g11tech g11tech approved these changes

Assignees

No one assigned

Labels

docs Scope: docs Improvements or additions to documentation specs Scope: Changes to the specifications

Projects

None yet

Milestone

pq-devnet-1

Development

Successfully merging this pull request may close these issues.

3 participants

@tcoratger @g11tech @unnawut