Skip to content

Actions: 0LNetworkCommunity/libra-framework

Actions

formal verification

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[tools] cli multisig features formal verification #275: Pull request #153 opened by 0xzoz
January 25, 2024 03:35 1m 35s 0o-de-lally:multisig-tools
0o-de-lally:multisig-tools
January 25, 2024 03:35 1m 35s
Test 3 formal verification #274: Pull request #152 opened by 0xzoz
January 25, 2024 00:18 1m 13s test-3
test-3
January 25, 2024 00:18 1m 13s
Test it formal verification #273: Pull request #151 opened by 0xzoz
January 24, 2024 21:36 1m 6s test-it
test-it
January 24, 2024 21:36 1m 6s
Update issue templates formal verification #272: Commit db4fd07 pushed by 0xzoz
January 22, 2024 21:57 1m 43s main
main
January 22, 2024 21:57 1m 43s
[deps] remove unused deps (#145) formal verification #271: Commit f00d7a4 pushed by 0xzoz
January 19, 2024 05:15 1m 20s main
main
January 19, 2024 05:15 1m 20s
[deps] remove unused deps formal verification #270: Pull request #145 opened by 0o-de-lally
January 19, 2024 02:45 1m 21s clean-deps
clean-deps
January 19, 2024 02:45 1m 21s
remove unused deps formal verification #269: Commit da8bcdb pushed by 0o-de-lally
January 19, 2024 01:47 1m 39s clean-deps
clean-deps
January 19, 2024 01:47 1m 39s
Update issue templates formal verification #268: Commit 03cc9f9 pushed by 0o-de-lally
January 19, 2024 01:39 1m 21s clean-deps
clean-deps
January 19, 2024 01:39 1m 21s
Update issue templates formal verification #267: Commit 03cc9f9 pushed by 0xzoz
January 18, 2024 22:35 1m 27s main
main
January 18, 2024 22:35 1m 27s
[fix] epoch scheduler (#136) formal verification #266: Commit 958ce68 pushed by 0o-de-lally
January 16, 2024 23:12 1m 26s main
main
January 16, 2024 23:12 1m 26s
[move] set slow wallet entry function (#143) formal verification #265: Commit 7adbda6 pushed by 0o-de-lally
January 16, 2024 23:12 1m 45s main-old-jan-16
main-old-jan-16
January 16, 2024 23:12 1m 45s
[fix] epoch scheduler (#136) formal verification #264: Commit 958ce68 pushed by 0o-de-lally
January 16, 2024 00:27 1m 23s main-rebase
main-rebase
January 16, 2024 00:27 1m 23s
[fix] epoch scheduler formal verification #263: Pull request #136 synchronize by 0o-de-lally
January 15, 2024 22:48 1m 29s 0o-de-lally:epoch_scheduler
0o-de-lally:epoch_scheduler
January 15, 2024 22:48 1m 29s
[fix] epoch scheduler formal verification #262: Pull request #136 synchronize by 0o-de-lally
January 15, 2024 20:48 1m 21s 0o-de-lally:epoch_scheduler
0o-de-lally:epoch_scheduler
January 15, 2024 20:48 1m 21s
[fix] epoch scheduler formal verification #261: Pull request #136 synchronize by 0o-de-lally
January 15, 2024 20:43 1m 23s 0o-de-lally:epoch_scheduler
0o-de-lally:epoch_scheduler
January 15, 2024 20:43 1m 23s
[move] set slow wallet entry function (#143) formal verification #260: Commit c0be610 pushed by 0o-de-lally
January 15, 2024 20:40 1m 18s main-rebase
main-rebase
January 15, 2024 20:40 1m 18s
ci formal verification #259: Commit 052e12e pushed by 0o-de-lally
January 15, 2024 20:28 1m 19s main-rebase
main-rebase
January 15, 2024 20:28 1m 19s
merge epoch_scheduler formal verification #258: Commit 18d1b0d pushed by 0o-de-lally
January 15, 2024 20:02 1m 22s release-6.9.4
release-6.9.4
January 15, 2024 20:02 1m 22s
[move] set slow wallet entry function (#143) formal verification #257: Commit 7adbda6 pushed by 0o-de-lally
January 15, 2024 19:48 1m 19s 6.9.3
6.9.3
January 15, 2024 19:48 1m 19s
[move] set slow wallet entry function (#143) formal verification #256: Commit 7adbda6 pushed by 0o-de-lally
January 15, 2024 19:47 1m 18s main
main
January 15, 2024 19:47 1m 18s
[move] set slow wallet entry function formal verification #255: Pull request #143 synchronize by 0o-de-lally
January 15, 2024 19:09 1m 20s 0o-de-lally:slow-wallet-alt-fix
0o-de-lally:slow-wallet-alt-fix
January 15, 2024 19:09 1m 20s
[move] set slow wallet entry function formal verification #254: Pull request #143 synchronize by 0o-de-lally
January 15, 2024 18:39 1m 26s 0o-de-lally:slow-wallet-alt-fix
0o-de-lally:slow-wallet-alt-fix
January 15, 2024 18:39 1m 26s
[move] patch arithmetic issue on net_val_reward 6.9.2 (#142) formal verification #253: Commit 00e04ec pushed by 0o-de-lally
January 15, 2024 18:38 1m 22s main
main
January 15, 2024 18:38 1m 22s
patch formal verification #252: Commit 0a3af25 pushed by 0o-de-lally
January 14, 2024 20:26 1m 44s release-6.9.3
release-6.9.3
January 14, 2024 20:26 1m 44s
Merge epoch_scheduler formal verification #251: Commit 9f81e03 pushed by 0o-de-lally
January 14, 2024 20:21 1m 24s release-6.9.3
release-6.9.3
January 14, 2024 20:21 1m 24s
ProTip! You can narrow down the results and go further in time using created:<2024-01-14 or the other filters available.