Skip to content
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 our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix/gno-type-check #240

Merged
merged 3 commits into from
Jun 19, 2024
Merged

fix/gno-type-check #240

merged 3 commits into from
Jun 19, 2024

Conversation

r3v4s
Copy link
Member

@r3v4s r3v4s commented Jun 19, 2024

fix

  1. due to gno's new restrict type check, fix related codes

@r3v4s r3v4s requested review from notJoon and mconcat June 19, 2024 07:29
@r3v4s r3v4s self-assigned this Jun 19, 2024
notJoon
notJoon previously approved these changes Jun 19, 2024
@r3v4s r3v4s dismissed notJoon’s stale review June 19, 2024 10:58

The merge-base changed after approval.

@r3v4s r3v4s force-pushed the fix/gno-type-check branch from 8890cfd to 629693e Compare June 19, 2024 10:58
@r3v4s r3v4s requested a review from notJoon June 19, 2024 10:59
@notJoon
Copy link
Member

notJoon commented Jun 19, 2024

Re-approved 👍

@notJoon notJoon merged commit 6575216 into main Jun 19, 2024
@notJoon notJoon deleted the fix/gno-type-check branch June 19, 2024 23:05
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.

2 participants