Skip to content

Conversation

moul
Copy link
Member

@moul moul commented Jul 10, 2025

Signed-off-by: moul [email protected]

@Gno2D2
Copy link
Collaborator

Gno2D2 commented Jul 10, 2025

🛠 PR Checks Summary

All Automated Checks passed. ✅

Manual Checks (for Reviewers):
  • IGNORE the bot requirements for this PR (force green CI check)
Read More

🤖 This bot helps streamline PR reviews by verifying automated checks and providing guidance for contributors and reviewers.

✅ Automated Checks (for Contributors):

No automated checks match this pull request.

☑️ Contributor Actions:
  1. Fix any issues flagged by automated checks.
  2. Follow the Contributor Checklist to ensure your PR is ready for review.
    • Add new tests, or document why they are unnecessary.
    • Provide clear examples/screenshots, if necessary.
    • Update documentation, if required.
    • Ensure no breaking changes, or include BREAKING CHANGE notes.
    • Link related issues/PRs, where applicable.
☑️ Reviewer Actions:
  1. Complete manual checks for the PR, including the guidelines and additional checks if applicable.
📚 Resources:
Debug
Manual Checks
**IGNORE** the bot requirements for this PR (force green CI check)

If

🟢 Condition met
└── 🟢 On every pull request

Can be checked by

  • Any user with comment edit permission

@moul moul requested review from alexiscolin, gfanton and leohhhn July 20, 2025 14:07
Copy link

codecov bot commented Jul 20, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

📢 Thoughts on this report? Let us know!

@moul
Copy link
Member Author

moul commented Jul 20, 2025

Note: Initially, I requested people working on r/docs to write highly readable code so that it didn’t require an explanation, readme, or tutorial (reading the source code is like a tutorial). Unfortunately, I tried my best but couldn’t find an elegant way to follow this principle here. Therefore, this realm is officially about having interactive demonstrations only.

Copy link
Contributor

@leohhhn leohhhn left a comment

Choose a reason for hiding this comment

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

a few nitpicks

@moul moul merged commit 8fbde76 into master Jul 21, 2025
20 checks passed
@moul moul deleted the dev/moul/r/docs/moul/md branch July 21, 2025 09:36
@github-project-automation github-project-automation bot moved this from In Progress to Done in 💪 Bounties & Worx Jul 21, 2025
@github-project-automation github-project-automation bot moved this from 📥 Inbox to ✅ Done in 😎 Manfred's Board Jul 21, 2025
stefann-01 pushed a commit to stefann-01/gno that referenced this pull request Aug 26, 2025
Signed-off-by: moul <[email protected]>

---------

Signed-off-by: moul <[email protected]>
Co-authored-by: Leon <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🧾 package/realm Tag used for new Realms or Packages.
Projects
Status: Done
Status: ✅ Done
Development

Successfully merging this pull request may close these issues.

3 participants