Skip to content

Widen market index from int16 to int64 - #93

Merged
mihaimarcu2004 merged 5 commits into
mainfrom
devin/1791546552-market-index-int64
Oct 12, 2026
Merged

mihaimarcu2004 merged 5 commits into
mainfrom
devin/1791546552-market-index-int64

Conversation

@mihaimarcu2004

@mihaimarcu2004 mihaimarcu2004 commented Oct 9, 2026 •

Copy link
Copy Markdown
Contributor

No description provided.

@devin-ai-integration

Copy link
Copy Markdown
Contributor

I'll fix CI failures and address comments from users with write access that start with 'Devin'.

  • Disable automatic comment, CI, and merge conflict monitoring

@mihaimarcu2004
mihaimarcu2004 marked this pull request as ready for review October 9, 2026 12:32

@devin-ai-integration devin-ai-integration Bot left a comment •

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

👀 4 findings need your review

Devin reviewed all 4 findings on 8467b01 and left them for you. Click a finding below to jump to its comment.

For your review (4)

View all findings in Devin Review

Devin Review

@devin-ai-integration devin-ai-integration Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Devin Review found 4 potential issues.

Devin Review

Comment thread wasm/main.go
Comment thread types/tx_request.go
Comment thread types/txtypes/constants.go
Comment thread web-wasm/main.go
@mihaimarcu2004
mihaimarcu2004 merged commit 6152f60 into main Oct 12, 2026
3 checks passed
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