Closed jrwbabylonlab closed 3 months ago
Maybe we can rename the title to Merge main to dev
as it seems to include multiple commits ahead of dev
. Or the branch should be from main
?
Maybe we can rename the title to
Merge main to dev
as it seems to include multiple commits ahead ofdev
. Or the branch should be frommain
?
yeah. the code seems to only include my last PR changes, which is about the hotfix on duplicated finality providers. but commits seems suggesting otherwise
You know what, let me start from a clean branch from main.
this PR has been merged into main
Looks like main and dev commits are not in sync