Skip to content

Actions: 0LNetworkCommunity/libra-framework

cleanliness

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,204 workflow runs
1,204 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ci] publish ubuntu bins for CI use (#91)
cleanliness #406: Commit 1319077 pushed by 0o-de-lally
November 10, 2023 16:07 5m 44s release-6.9.0-rc.8
November 10, 2023 16:07 5m 44s
[tools] better env setup tools util/dev_setup.sh (#93)
cleanliness #405: Commit b6477bb pushed by 0o-de-lally
November 10, 2023 16:07 3m 0s release-6.9.0-rc.8
November 10, 2023 16:07 3m 0s
[move] essential formal verification tests on transfers
cleanliness #404: Pull request #94 synchronize by 0o-de-lally
November 10, 2023 02:55 6m 48s 0o-de-lally:prover-tests
November 10, 2023 02:55 6m 48s
[tools] better env setup tools util/dev_setup.sh
cleanliness #403: Pull request #93 synchronize by 0o-de-lally
November 10, 2023 02:53 12m 34s 0o-de-lally:formal
November 10, 2023 02:53 12m 34s
[tools] better env setup tools util/dev_setup.sh
cleanliness #402: Pull request #93 synchronize by 0o-de-lally
November 10, 2023 02:52 8m 20s 0o-de-lally:formal
November 10, 2023 02:52 8m 20s
[move] essential formal verification tests on transfers
cleanliness #401: Pull request #94 synchronize by 0o-de-lally
November 10, 2023 02:49 7m 49s 0o-de-lally:prover-tests
November 10, 2023 02:49 7m 49s
[ci] publish ubuntu bins for CI use
cleanliness #400: Pull request #91 synchronize by 0o-de-lally
November 10, 2023 02:49 14m 31s 0o-de-lally:publish
November 10, 2023 02:49 14m 31s
fixup cargo.lock
cleanliness #399: Commit 7d6996f pushed by 0o-de-lally
November 10, 2023 02:46 14m 56s release-6.9.0-rc.8
November 10, 2023 02:46 14m 56s
[move] essential formal verification tests on transfers
cleanliness #398: Pull request #94 synchronize by 0o-de-lally
November 10, 2023 02:34 2m 19s 0o-de-lally:prover-tests
November 10, 2023 02:34 2m 19s
[tools] update fullnode-init command
cleanliness #397: Pull request #95 synchronize by 0xzoz
November 10, 2023 02:23 9m 10s update-fullnode
November 10, 2023 02:23 9m 10s
[move] essential formal verification tests on transfers
cleanliness #396: Pull request #94 synchronize by 0o-de-lally
November 9, 2023 23:32 3m 9s 0o-de-lally:prover-tests
November 9, 2023 23:32 3m 9s
[move] essential formal verification tests on transfers
cleanliness #395: Pull request #94 synchronize by 0o-de-lally
November 9, 2023 23:23 2m 37s 0o-de-lally:prover-tests
November 9, 2023 23:23 2m 37s
[move] essential formal verification tests on transfers
cleanliness #394: Pull request #94 synchronize by 0o-de-lally
November 9, 2023 23:08 2m 13s 0o-de-lally:prover-tests
November 9, 2023 23:08 2m 13s
[move] essential formal verification tests on transfers
cleanliness #393: Pull request #94 synchronize by 0o-de-lally
November 9, 2023 22:14 4m 29s 0o-de-lally:prover-tests
November 9, 2023 22:14 4m 29s
[ci] publish ubuntu bins for CI use
cleanliness #392: Pull request #91 synchronize by 0o-de-lally
November 9, 2023 22:13 10m 7s 0o-de-lally:publish
November 9, 2023 22:13 10m 7s
[deps] update to diem 1.6.2-rc.5 (#92)
cleanliness #391: Commit 26b054f pushed by 0o-de-lally
November 9, 2023 21:03 8m 11s release-6.9.0-rc.8
November 9, 2023 21:03 8m 11s
[tools] update fullnode-init command
cleanliness #390: Pull request #95 synchronize by 0xzoz
November 9, 2023 20:53 2m 6s update-fullnode
November 9, 2023 20:53 2m 6s
[move] essential formal verification tests on transfers
cleanliness #389: Pull request #94 synchronize by 0o-de-lally
November 9, 2023 20:47 2m 28s 0o-de-lally:prover-tests
November 9, 2023 20:47 2m 28s
[move] essential formal verification tests on transfers
cleanliness #388: Pull request #94 synchronize by 0o-de-lally
November 9, 2023 20:46 1m 10s 0o-de-lally:prover-tests
November 9, 2023 20:46 1m 10s
[move] essential formal verification tests on transfers
cleanliness #387: Pull request #94 synchronize by 0o-de-lally
November 9, 2023 20:43 2m 53s 0o-de-lally:prover-tests
November 9, 2023 20:43 2m 53s
patch
cleanliness #386: Commit af9cc5d pushed by 0o-de-lally
November 9, 2023 20:14 13m 5s prover-debug
November 9, 2023 20:14 13m 5s
[tools] update fullnode-init command
cleanliness #385: Pull request #95 opened by 0xzoz
November 9, 2023 19:45 1m 35s update-fullnode
November 9, 2023 19:45 1m 35s
[move] essential formal verification tests on transfers
cleanliness #384: Pull request #94 synchronize by 0o-de-lally
November 9, 2023 18:31 13m 43s 0o-de-lally:prover-tests
November 9, 2023 18:31 13m 43s
[move] essential formal verification tests on transfers
cleanliness #383: Pull request #94 synchronize by 0o-de-lally
November 9, 2023 18:29 12m 53s 0o-de-lally:prover-tests
November 9, 2023 18:29 12m 53s
[move] essential formal verification tests on transfers
cleanliness #382: Pull request #94 opened by 0o-de-lally
November 9, 2023 18:26 13m 46s 0o-de-lally:prover-tests
November 9, 2023 18:26 13m 46s
ProTip! You can narrow down the results and go further in time using created:<2023-11-09 or the other filters available.