starcoinorg / move

Apache License 2.0
3 stars 57 forks source link

fix Boogie backend dep verion check #44

Closed jiangying000 closed 1 year ago

jiangying000 commented 1 year ago

Motivation

(Write your motivation for proposed changes here.)

Have you read the Contributing Guidelines on pull requests?

(Write your answer here.)

Test Plan

(Share your test plan here. If you changed code, please provide us with clear instructions for verifying that your changes work.)

jolestar commented 1 year ago

这个是不是也提交给 Move 那边?

jiangying000 commented 1 year ago

那边已经改了