Skip to content

Actions: 0LNetworkCommunity/libra-framework

Actions

formal verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formal.yaml
460 workflow run results
460 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[testsuite] upgrade compatibility smoke test & dynamic upgrade payloads formal verification #465: Pull request #195 synchronize by 0o-de-lally
February 29, 2024 23:24 1h 13m 52s 0o-de-lally:mainnet-compat-tests
0o-de-lally:mainnet-compat-tests
February 29, 2024 23:24 1h 13m 52s
[testsuite] upgrade compatibility smoke test & dynamic upgrade payloads formal verification #464: Pull request #195 synchronize by 0o-de-lally
February 29, 2024 23:05 8m 22s 0o-de-lally:mainnet-compat-tests
0o-de-lally:mainnet-compat-tests
February 29, 2024 23:05 8m 22s
[sync] unified configuration for validator (#191) formal verification #463: Commit 7f022e1 pushed by 0o-de-lally
February 29, 2024 23:05 3m 10s main
main
February 29, 2024 23:05 3m 10s
[testsuite] upgrade compatibility smoke test & dynamic upgrade payloads formal verification #462: Pull request #195 synchronize by 0o-de-lally
February 29, 2024 21:27 11m 44s 0o-de-lally:mainnet-compat-tests
0o-de-lally:mainnet-compat-tests
February 29, 2024 21:27 11m 44s
[testsuite] upgrade compatibility smoke test & dynamic upgrade payloads formal verification #461: Pull request #195 synchronize by 0o-de-lally
February 29, 2024 21:22 2m 9s 0o-de-lally:mainnet-compat-tests
0o-de-lally:mainnet-compat-tests
February 29, 2024 21:22 2m 9s
[sync] unified configuration for validator formal verification #460: Pull request #191 synchronize by davidrotari19
February 29, 2024 18:00 7m 33s davidrotari19:unified_yaml_david
davidrotari19:unified_yaml_david
February 29, 2024 18:00 7m 33s
[testsuite] upgrade compatibility smoke test & dynamic upgrade payloads formal verification #459: Pull request #195 synchronize by 0o-de-lally
February 29, 2024 16:14 7m 25s 0o-de-lally:mainnet-compat-tests
0o-de-lally:mainnet-compat-tests
February 29, 2024 16:14 7m 25s
[testsuite] upgrade compatibility smoke test & dynamic upgrade payloads formal verification #458: Pull request #195 opened by 0o-de-lally
February 29, 2024 16:14 43s 0o-de-lally:mainnet-compat-tests
0o-de-lally:mainnet-compat-tests
February 29, 2024 16:14 43s
[fix] community wallet fixes addressing locked out accounts formal verification #457: Pull request #194 synchronize by 0o-de-lally
February 29, 2024 01:31 2h 1m 25s com-wallet-tests
com-wallet-tests
February 29, 2024 01:31 2h 1m 25s
Merge branch 'main' into com-wallet-tests formal verification #456: Commit 4fd6375 pushed by 0o-de-lally
February 29, 2024 01:31 1h 49m 47s com-wallet-tests
com-wallet-tests
February 29, 2024 01:31 1h 49m 47s
[sync] unified configuration for validator formal verification #455: Pull request #191 synchronize by davidrotari19
February 28, 2024 23:04 3m 12s davidrotari19:unified_yaml_david
davidrotari19:unified_yaml_david
February 28, 2024 23:04 3m 12s
[deps] update diem deps to 1.6.2-diem.1 (#192) formal verification #453: Commit 96e3413 pushed by 0o-de-lally
February 28, 2024 22:41 2h 11m 29s main
main
February 28, 2024 22:41 2h 11m 29s
[fix] community wallet fixes addressing locked out accounts formal verification #452: Pull request #194 synchronize by 0o-de-lally
February 28, 2024 22:36 2h 11m 28s com-wallet-tests
com-wallet-tests
February 28, 2024 22:36 2h 11m 28s
patch move tests formal verification #451: Commit 2ea0a42 pushed by 0o-de-lally
February 28, 2024 22:36 2h 1m 24s com-wallet-tests
com-wallet-tests
February 28, 2024 22:36 2h 1m 24s
add patch to bypass upgradability checks for policy exempt addresses formal verification #450: Commit e2a3274 pushed by 0xzoz
February 28, 2024 20:40 3h 53m 14s release-6.9.7
release-6.9.7
February 28, 2024 20:40 3h 53m 14s
add patch to bypass upgradability checks for policy exempt addresses formal verification #449: Commit 6ad6dc9 pushed by 0xzoz
February 28, 2024 20:32 3h 16m 54s release-6.9.7
release-6.9.7
February 28, 2024 20:32 3h 16m 54s
add patch to bypass upgradability checks for policy exempt addresses formal verification #448: Commit 079c2e1 pushed by 0xzoz
February 28, 2024 20:26 2h 8m 44s release-6.9.7
release-6.9.7
February 28, 2024 20:26 2h 8m 44s
[feature] allow exempted addresses to upgrade framework with any poli… formal verification #447: Commit f496384 pushed by 0xzoz
February 28, 2024 19:32 58m 54s release-6.9.7
release-6.9.7
February 28, 2024 19:32 58m 54s
Make the mempool's default_failovers=3 for VFN stability. (#163) formal verification #446: Commit 0b3ebea pushed by 0xzoz
February 28, 2024 19:31 49m 27s release-6.9.7
release-6.9.7
February 28, 2024 19:31 49m 27s
[fix] community wallet fixes addressing locked out accounts formal verification #445: Pull request #194 synchronize by 0xzoz
February 28, 2024 19:29 48m 25s com-wallet-tests
com-wallet-tests
February 28, 2024 19:29 48m 25s
merge main and build fixtures formal verification #444: Commit 88a2ad5 pushed by 0xzoz
February 28, 2024 19:29 37m 54s com-wallet-tests
com-wallet-tests
February 28, 2024 19:29 37m 54s
update upgrade fixtures formal verification #443: Commit c685d38 pushed by 0o-de-lally
February 28, 2024 19:02 1h 0m 23s com-wallet-tests
com-wallet-tests
February 28, 2024 19:02 1h 0m 23s
[feature] allow exempted addresses to upgrade framework with any policy formal verification #442: Pull request #193 opened by 0xzoz
February 28, 2024 18:51 1h 7m 35s 0o-de-lally:gov-allow-all-upgrade-policy
0o-de-lally:gov-allow-all-upgrade-policy
February 28, 2024 18:51 1h 7m 35s
[sync] unified configuration for validator formal verification #441: Pull request #191 synchronize by davidrotari19
February 28, 2024 16:43 32m 15s davidrotari19:unified_yaml_david
davidrotari19:unified_yaml_david
February 28, 2024 16:43 32m 15s
[deps] update diem deps to 1.6.2-diem.1 formal verification #440: Pull request #192 synchronize by 0o-de-lally
February 28, 2024 16:25 43m 35s 0o-de-lally:diem-deps-1.6.3
0o-de-lally:diem-deps-1.6.3
February 28, 2024 16:25 43m 35s