Skip to content

Actions: 0LNetworkCommunity/libra-framework

move framework tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,222 workflow runs
1,222 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[tools] update fullnode-init command
move framework tests #301: Pull request #95 synchronize by 0xzoz
November 10, 2023 02:23 42s update-fullnode
November 10, 2023 02:23 42s
[move] essential formal verification tests on transfers
move framework tests #300: Pull request #94 synchronize by 0o-de-lally
November 9, 2023 23:32 35s 0o-de-lally:prover-tests
November 9, 2023 23:32 35s
[move] essential formal verification tests on transfers
move framework tests #299: Pull request #94 synchronize by 0o-de-lally
November 9, 2023 23:23 35s 0o-de-lally:prover-tests
November 9, 2023 23:23 35s
[move] essential formal verification tests on transfers
move framework tests #298: Pull request #94 synchronize by 0o-de-lally
November 9, 2023 23:08 33s 0o-de-lally:prover-tests
November 9, 2023 23:08 33s
[move] essential formal verification tests on transfers
move framework tests #297: Pull request #94 synchronize by 0o-de-lally
November 9, 2023 22:14 52s 0o-de-lally:prover-tests
November 9, 2023 22:14 52s
[ci] publish ubuntu bins for CI use
move framework tests #296: Pull request #91 synchronize by 0o-de-lally
November 9, 2023 22:13 31s 0o-de-lally:publish
November 9, 2023 22:13 31s
[deps] update to diem 1.6.2-rc.5 (#92)
move framework tests #295: Commit 26b054f pushed by 0o-de-lally
November 9, 2023 21:03 41s release-6.9.0-rc.8
November 9, 2023 21:03 41s
[tools] update fullnode-init command
move framework tests #294: Pull request #95 synchronize by 0xzoz
November 9, 2023 20:53 42s update-fullnode
November 9, 2023 20:53 42s
[move] essential formal verification tests on transfers
move framework tests #293: Pull request #94 synchronize by 0o-de-lally
November 9, 2023 20:47 30s 0o-de-lally:prover-tests
November 9, 2023 20:47 30s
[move] essential formal verification tests on transfers
move framework tests #292: Pull request #94 synchronize by 0o-de-lally
November 9, 2023 20:46 18s 0o-de-lally:prover-tests
November 9, 2023 20:46 18s
[move] essential formal verification tests on transfers
move framework tests #291: Pull request #94 synchronize by 0o-de-lally
November 9, 2023 20:43 18s 0o-de-lally:prover-tests
November 9, 2023 20:43 18s
patch
move framework tests #290: Commit af9cc5d pushed by 0o-de-lally
November 9, 2023 20:14 31s prover-debug
November 9, 2023 20:14 31s
[tools] update fullnode-init command
move framework tests #289: Pull request #95 opened by 0xzoz
November 9, 2023 19:45 40s update-fullnode
November 9, 2023 19:45 40s
[move] essential formal verification tests on transfers
move framework tests #288: Pull request #94 synchronize by 0o-de-lally
November 9, 2023 18:31 10m 29s 0o-de-lally:prover-tests
November 9, 2023 18:31 10m 29s
[move] essential formal verification tests on transfers
move framework tests #287: Pull request #94 synchronize by 0o-de-lally
November 9, 2023 18:29 9m 55s 0o-de-lally:prover-tests
November 9, 2023 18:29 9m 55s
[move] essential formal verification tests on transfers
move framework tests #286: Pull request #94 opened by 0o-de-lally
November 9, 2023 18:26 40s 0o-de-lally:prover-tests
November 9, 2023 18:26 40s
[tools] better env setup tools util/dev_setup.sh
move framework tests #285: Pull request #93 synchronize by 0o-de-lally
November 9, 2023 18:24 40s 0o-de-lally:formal
November 9, 2023 18:24 40s
[ci] publish ubuntu bins for CI use
move framework tests #284: Pull request #91 synchronize by 0o-de-lally
November 9, 2023 18:22 33s 0o-de-lally:publish
November 9, 2023 18:22 33s
[tools] better env setup tools util/dev_setup.sh
move framework tests #283: Pull request #93 synchronize by 0o-de-lally
November 9, 2023 18:15 46s 0o-de-lally:formal
November 9, 2023 18:15 46s
[tools] better env setup tools util/dev_setup.sh
move framework tests #282: Pull request #93 opened by 0o-de-lally
November 9, 2023 18:15 32s 0o-de-lally:formal
November 9, 2023 18:15 32s
[deps] update to diem 1.6.2-rc.5
move framework tests #281: Pull request #92 opened by 0o-de-lally
November 9, 2023 18:03 34s 0o-de-lally:update-deps-diem-1.6.2-rc.5
November 9, 2023 18:03 34s
[ci] publish ubuntu bins for CI use
move framework tests #280: Pull request #91 synchronize by 0o-de-lally
November 9, 2023 18:00 50s 0o-de-lally:publish
November 9, 2023 18:00 50s
patch
move framework tests #279: Commit 9dfe77c pushed by 0o-de-lally
November 8, 2023 21:34 31s release-6.9.0-rc.8
November 8, 2023 21:34 31s
file path in makefile
move framework tests #278: Commit 580cf46 pushed by 0o-de-lally
November 8, 2023 21:32 49s release-6.9.0-rc.8
November 8, 2023 21:32 49s
[ci] publish ubuntu bins for CI use
move framework tests #277: Pull request #91 opened by 0o-de-lally
November 8, 2023 21:18 44s 0o-de-lally:publish
November 8, 2023 21:18 44s
ProTip! You can narrow down the results and go further in time using created:<2023-11-08 or the other filters available.