Conversation
|
@facebook-github-bot has imported this pull request. If you are a Meta employee, you can view this in D83144730. (Because this pull request was imported automatically, there will not be any future comments.) |
38c1a2e to
0503870
Compare
|
@mszabo-wikia has updated the pull request. You must reimport the pull request before landing. |
|
@facebook-github-bot has imported this pull request. If you are a Meta employee, you can view this in D83144730. (Because this pull request was imported automatically, there will not be any future comments.) |
0503870 to
f03c5d6
Compare
|
@mszabo-wikia has updated the pull request. You must reimport the pull request before landing. |
|
Could you split the |
f03c5d6 to
c320c68
Compare
|
@mszabo-wikia has updated the pull request. You must reimport the pull request before landing. |
The pinned versions of `dune` and `landmarks-ppx` need updating to work on aarch64.
c320c68 to
ab9dbc6
Compare
|
@mszabo-wikia has updated the pull request. You must reimport the pull request before landing. |
The pinned versions of
duneandlandmarks-ppxneed updating to work on aarch64.