Skip to content

Actions: 0LNetworkCommunity/libra-framework

Actions

formal verification

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[move] set slow wallet entry function formal verification #250: Pull request #143 synchronize by 0o-de-lally
January 14, 2024 19:54 1m 17s 0o-de-lally:slow-wallet-alt-fix
0o-de-lally:slow-wallet-alt-fix
January 14, 2024 19:54 1m 17s
[move] patch arithmetic issue on net_val_reward 6.9.2 (#142) formal verification #249: Commit 6b57485 pushed by 0o-de-lally
January 14, 2024 19:49 1m 25s main
main
January 14, 2024 19:49 1m 25s
Squashed commit of the following: formal verification #248: Commit b1699e2 pushed by 0o-de-lally
January 14, 2024 17:49 1m 22s release-6.9.3
release-6.9.3
January 14, 2024 17:49 1m 22s
[fix] epoch scheduler formal verification #247: Pull request #136 synchronize by 0o-de-lally
January 14, 2024 17:49 1m 21s 0o-de-lally:epoch_scheduler
0o-de-lally:epoch_scheduler
January 14, 2024 17:49 1m 21s
[fix] epoch scheduler formal verification #246: Pull request #136 synchronize by 0o-de-lally
January 14, 2024 17:31 1m 20s 0o-de-lally:epoch_scheduler
0o-de-lally:epoch_scheduler
January 14, 2024 17:31 1m 20s
make governance::trigger_epoch an entry function formal verification #245: Commit 464535a pushed by 0o-de-lally
January 14, 2024 17:30 1m 20s release-6.9.3
release-6.9.3
January 14, 2024 17:30 1m 20s
Squashed commit of the following: formal verification #244: Commit 95c8802 pushed by 0o-de-lally
January 13, 2024 22:11 26m 59s release-6.9.3
release-6.9.3
January 13, 2024 22:11 26m 59s
[fix] epoch scheduler formal verification #243: Pull request #136 synchronize by 0o-de-lally
January 13, 2024 22:09 27m 21s 0o-de-lally:epoch_scheduler
0o-de-lally:epoch_scheduler
January 13, 2024 22:09 27m 21s
[move] set slow wallet entry function (#141) formal verification #242: Commit a4c2f61 pushed by 0o-de-lally
January 13, 2024 22:01 30m 20s main
main
January 13, 2024 22:01 30m 20s
[move] patch arithmetic issue on net_val_reward 6.9.2 (#142) formal verification #241: Commit 6b57485 pushed by 0o-de-lally
January 13, 2024 22:01 27m 42s main
main
January 13, 2024 22:01 27m 42s
[move] set slow wallet entry function formal verification #240: Pull request #141 synchronize by 0o-de-lally
January 13, 2024 22:00 26m 52s cli-slow-wallet
cli-slow-wallet
January 13, 2024 22:00 26m 52s
Merge branch 'main' into cli-slow-wallet formal verification #239: Commit daa0ef4 pushed by 0o-de-lally
January 13, 2024 22:00 24m 50s cli-slow-wallet
cli-slow-wallet
January 13, 2024 22:00 24m 50s
Merge branch 'main' into rescue-twin formal verification #238: Commit f731366 pushed by 0o-de-lally
January 13, 2024 21:58 26m 29s release-6.9.3
release-6.9.3
January 13, 2024 21:58 26m 29s
[move] patch arithmetic issue on net_val_reward 6.9.2 formal verification #237: Pull request #142 synchronize by 0o-de-lally
January 13, 2024 21:57 24m 3s rescue-twin
rescue-twin
January 13, 2024 21:57 24m 3s
Merge branch 'main' into rescue-twin formal verification #236: Commit f731366 pushed by 0o-de-lally
January 13, 2024 21:57 21m 4s rescue-twin
rescue-twin
January 13, 2024 21:57 21m 4s
[tools] refactor rescue cli 6.9.1 (#137) formal verification #235: Commit d982a70 pushed by 0o-de-lally
January 13, 2024 21:53 25m 36s main
main
January 13, 2024 21:53 25m 36s
[move] set slow wallet entry function formal verification #234: Pull request #141 synchronize by 0o-de-lally
January 13, 2024 21:48 12m 1s cli-slow-wallet
cli-slow-wallet
January 13, 2024 21:48 12m 1s
fmt formal verification #233: Commit 4e17696 pushed by 0o-de-lally
January 13, 2024 21:48 11m 34s cli-slow-wallet
cli-slow-wallet
January 13, 2024 21:48 11m 34s
[move] patch arithmetic issue on net_val_reward 6.9.2 formal verification #232: Pull request #142 opened by sirouk
January 13, 2024 21:44 4m 40s rescue-twin
rescue-twin
January 13, 2024 21:44 4m 40s
[fix] epoch scheduler formal verification #231: Pull request #136 synchronize by 0o-de-lally
January 13, 2024 21:37 1m 23s 0o-de-lally:epoch_scheduler
0o-de-lally:epoch_scheduler
January 13, 2024 21:37 1m 23s
[move] set slow wallet entry function formal verification #230: Pull request #141 synchronize by 0o-de-lally
January 13, 2024 21:35 1m 27s cli-slow-wallet
cli-slow-wallet
January 13, 2024 21:35 1m 27s
fmt formal verification #229: Commit 42e323d pushed by 0o-de-lally
January 13, 2024 21:35 1m 24s cli-slow-wallet
cli-slow-wallet
January 13, 2024 21:35 1m 24s
trigger ci formal verification #228: Commit 05db493 pushed by 0o-de-lally
January 13, 2024 21:31 1m 30s rescue-twin
rescue-twin
January 13, 2024 21:31 1m 30s
[move] set slow wallet entry function formal verification #227: Pull request #141 synchronize by 0o-de-lally
January 13, 2024 21:27 1m 35s cli-slow-wallet
cli-slow-wallet
January 13, 2024 21:27 1m 35s
fmt formal verification #226: Commit 68d0523 pushed by 0o-de-lally
January 13, 2024 21:27 1m 21s cli-slow-wallet
cli-slow-wallet
January 13, 2024 21:27 1m 21s
ProTip! You can narrow down the results and go further in time using created:<2024-01-13 or the other filters available.