Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to ourterms of service andprivacy statement. We’ll occasionally send you account related emails.

Already on GitHub?Sign in to your account

fix(gnovm): show object updates using difflib, log blocks#3894

Merged

Conversation

thehowl
Copy link
Member

adds to#3893

changes logs from opslog so that when we're logging an update, we only log the updated lines

conditionally enables opslog based on whether the filetest needs it.

omarsy reacted with hooray emojiomarsy reacted with heart emojiomarsy reacted with rocket emoji
@thehowlthehowl self-assigned thisMar 7, 2025
@github-actionsgithub-actionsbot added the 📦 🤖 gnovmIssues or PRs gnovm related labelMar 7, 2025
@Gno2D2
Copy link
Collaborator

Gno2D2 commentedMar 7, 2025•
edited
Loading

🛠 PR Checks Summary

AllAutomated 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):

🟢 Maintainers must be able to edit this pull request (more info)

☑️ 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 includeBREAKING 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
Automated Checks
Maintainers must be able to edit this pull request (more info)

If

🟢 Condition met└── 🟢 And    ├── 🟢 The base branch matches this pattern: ^master$    └── 🟢 The pull request was created from a fork (head branch repo: thehowl/gno)

Then

🟢 Requirement satisfied└── 🟢 Maintainer can modify this pull request
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

@github-actionsgithub-actionsbot added the 🧾 package/realmTag used for new Realms or Packages. labelMar 7, 2025
@codecovCodecov
Copy link

codecovbot commentedMar 10, 2025•
edited
Loading

Codecov Report

Attention: Patch coverage is91.80328% with5 lines in your changes missing coverage. Please review.

Files with missing linesPatch %Lines
gnovm/pkg/gnolang/store.go89.36%3 Missing and 2 partials⚠️

📢 Thoughts on this report?Let us know!

Copy link
Member

@omarsyomarsy left a comment

Choose a reason for hiding this comment

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

Great work—approved! ^^

@thehowlthehowl merged commit4f302e6 intognolang:masterMar 21, 2025
28 checks passed
@thehowlthehowl deleted the dev/morgan/realm-update-log-using-diff branchMarch 21, 2025 17:39
Sign up for freeto join this conversation on GitHub. Already have an account?Sign in to comment
Reviewers

@moulmoulmoul left review comments

@ltzmaxwellltzmaxwellltzmaxwell approved these changes

@omarsyomarsyomarsy approved these changes

Assignees

@thehowlthehowl

Labels
📦 🤖 gnovmIssues or PRs gnovm related🧾 package/realmTag used for new Realms or Packages.
Projects
Status: Done
Status: Done
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

5 participants
@thehowl@Gno2D2@moul@ltzmaxwell@omarsy
[8]ページ先頭
©2009-2025 Movatter.jp