Skip to content

Actions: 0LNetworkCommunity/libra-framework

Actions

formal verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formal.yaml
1,016 workflow runs
1,016 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Move] Epoch scheduler (#162) formal verification #304: Commit 999a493 pushed by 0o-de-lally
February 3, 2024 02:46 30m 4s release-6.9.5
release-6.9.5
February 3, 2024 02:46 30m 4s
[Move] Epoch scheduler (#162) formal verification #303: Commit 999a493 pushed by 0xzoz
February 3, 2024 02:42 30m 34s main
main
February 3, 2024 02:42 30m 34s
[Move] Epoch scheduler formal verification #302: Pull request #162 synchronize by 0o-de-lally
February 3, 2024 02:42 29m 56s 0o-de-lally:epoch_scheduler
0o-de-lally:epoch_scheduler
February 3, 2024 02:42 29m 56s
[Move] Epoch scheduler formal verification #301: Pull request #162 synchronize by 0o-de-lally
February 3, 2024 02:36 34m 36s 0o-de-lally:epoch_scheduler
0o-de-lally:epoch_scheduler
February 3, 2024 02:36 34m 36s
[Move] Epoch scheduler formal verification #300: Pull request #162 synchronize by 0o-de-lally
February 3, 2024 02:23 28m 39s 0o-de-lally:epoch_scheduler
0o-de-lally:epoch_scheduler
February 3, 2024 02:23 28m 39s
[Move] Epoch scheduler formal verification #299: Pull request #162 synchronize by 0o-de-lally
February 3, 2024 02:08 20m 22s 0o-de-lally:epoch_scheduler
0o-de-lally:epoch_scheduler
February 3, 2024 02:08 20m 22s
[framework] use uniform build options for Move (#161) formal verification #298: Commit 3640091 pushed by 0xzoz
February 3, 2024 01:59 25m 30s main
main
February 3, 2024 01:59 25m 30s
[framework] use uniform build options for Move formal verification #297: Pull request #161 synchronize by 0o-de-lally
February 3, 2024 01:58 25m 39s 0o-de-lally:include-source-map
0o-de-lally:include-source-map
February 3, 2024 01:58 25m 39s
[ci] formal verification ci (#157) formal verification #296: Commit 65bb7ff pushed by 0xzoz
February 3, 2024 01:40 39m 8s main
main
February 3, 2024 01:40 39m 8s
[Move] Epoch scheduler formal verification #295: Pull request #162 opened by 0o-de-lally
February 3, 2024 01:24 3m 0s 0o-de-lally:epoch_scheduler
0o-de-lally:epoch_scheduler
February 3, 2024 01:24 3m 0s
[release] 6.9.4 formal verification #294: Pull request #159 synchronize by 0xzoz
February 3, 2024 01:24 18m 3s release-6.9.4
release-6.9.4
February 3, 2024 01:24 18m 3s
[ci] formal verification ci (#157) formal verification #293: Commit d882d50 pushed by 0xzoz
February 3, 2024 01:24 18m 40s release-6.9.4
release-6.9.4
February 3, 2024 01:24 18m 40s
[framework] use uniform build options for Move formal verification #292: Pull request #161 synchronize by 0o-de-lally
February 3, 2024 01:14 1m 23s 0o-de-lally:include-source-map
0o-de-lally:include-source-map
February 3, 2024 01:14 1m 23s
[framework] use uniform build options for Move formal verification #291: Pull request #161 opened by 0o-de-lally
February 3, 2024 01:02 2m 15s 0o-de-lally:include-source-map
0o-de-lally:include-source-map
February 3, 2024 01:02 2m 15s
[release] 6.9.4 formal verification #290: Pull request #159 synchronize by 0xzoz
February 3, 2024 00:33 27m 29s release-6.9.4
release-6.9.4
February 3, 2024 00:33 27m 29s
fix cleanliness issues formal verification #289: Commit 7417040 pushed by 0xzoz
February 3, 2024 00:33 21m 58s release-6.9.4
release-6.9.4
February 3, 2024 00:33 21m 58s
[release] 6.9.4 formal verification #288: Pull request #159 synchronize by 0xzoz
February 3, 2024 00:13 19m 36s release-6.9.4
release-6.9.4
February 3, 2024 00:13 19m 36s
include source map formal verification #287: Commit 71a07cb pushed by 0xzoz
February 3, 2024 00:13 17m 38s release-6.9.4
release-6.9.4
February 3, 2024 00:13 17m 38s
[framework] include source map formal verification #286: Pull request #160 opened by 0xzoz
February 2, 2024 23:56 17m 46s 0o-de-lally:include-source-map
0o-de-lally:include-source-map
February 2, 2024 23:56 17m 46s
[release] 6.9.4 formal verification #285: Pull request #159 opened by 0xzoz
February 2, 2024 23:07 17m 41s release-6.9.4
release-6.9.4
February 2, 2024 23:07 17m 41s
[ci] formal verification ci (#157) formal verification #284: Commit d882d50 pushed by 0xzoz
January 31, 2024 14:01 17m 59s release-6.9.4
release-6.9.4
January 31, 2024 14:01 17m 59s
[tools] cli multisig features (#156) formal verification #283: Commit 18692a2 pushed by 0xzoz
January 31, 2024 14:01 1m 26s release-6.9.4
release-6.9.4
January 31, 2024 14:01 1m 26s
[ci] formal verification ci formal verification #282: Pull request #157 opened by 0xzoz
January 30, 2024 22:26 19m 51s formal-verification-ci
formal-verification-ci
January 30, 2024 22:26 19m 51s
[tools] cli multisig features formal verification #281: Pull request #156 opened by 0xzoz
January 30, 2024 22:23 1m 37s multisig-test
multisig-test
January 30, 2024 22:23 1m 37s
Update issue templates formal verification #280: Commit db4fd07 pushed by 0xzoz
January 30, 2024 22:07 1m 34s release-6.9.4
release-6.9.4
January 30, 2024 22:07 1m 34s
ProTip! You can narrow down the results and go further in time using created:<2024-01-30 or the other filters available.