-
Notifications
You must be signed in to change notification settings - Fork 133
Pull requests: diem/move
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Bump debian from buster-20211011 to buster-20230904 in /docker/ci/github
#496
opened Sep 7, 2023 by
dependabot
bot
Loading…
[move-prover] Refactored options creation for better reuse #250_173
#480
opened Mar 21, 2023 by
satyamacn
Loading…
upgrade rust toolchain 1.62.1 && edition 2021 && cargo clippy --fix #275_169
#476
opened Mar 17, 2023 by
satyamacn
Loading…
update PR template to match new organization (#51)_22 (Pending deferred)
#298
opened Jan 2, 2023 by
sahithiacn
Loading…
include stdlib by default on package new (#50)_21 (Pending Deferred)
#297
opened Jan 2, 2023 by
sahithiacn
Loading…
[ci] Run CI on merge commit instead of head commit (#22)_10 (Pending, merge deferred)
#294
opened Dec 28, 2022 by
sahithiacn
Loading…
Point to a shared Move Discord #25_11 (PENDING Deferred)
#276
opened Dec 7, 2022 by
sahithiacn
Loading…
update various docs to reflect new location of repo (#12)_8(PENDING Merge later)
#272
opened Dec 6, 2022 by
sahithiacn
Loading…
Bump debian from buster-20211011 to buster-20220316 in /docker/ci/github
#131
opened Mar 17, 2022 by
dependabot
bot
Loading…
ProTip!
Follow long discussions with comments:>50.