Skip to content

Actions: 0LNetworkCommunity/libra-framework

Actions

formal verification

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[testnet] create default balances for blank genesis formal verification #1272: Pull request #349 synchronize by 0o-de-lally
February 11, 2025 00:59 4m 40s 0o-de-lally:testnet-infra-escrow
0o-de-lally:testnet-infra-escrow
February 11, 2025 00:59 4m 40s
patch missing authkey formal verification #1271: Commit 1f2560c pushed by 0o-de-lally
February 11, 2025 00:58 3m 17s ci-bins-patch-tesnet-balances
ci-bins-patch-tesnet-balances
February 11, 2025 00:58 3m 17s
[containers] testnet in a bottle formal verification #1270: Pull request #348 synchronize by sirouk
February 10, 2025 22:38 12m 53s testnet-in-a-bottle
testnet-in-a-bottle
February 10, 2025 22:38 12m 53s
add reset script formal verification #1269: Commit dd576e3 pushed by sirouk
February 10, 2025 22:38 11m 23s testnet-in-a-bottle
testnet-in-a-bottle
February 10, 2025 22:38 11m 23s
[containers] testnet in a bottle formal verification #1268: Pull request #348 synchronize by sirouk
February 10, 2025 22:37 5m 12s testnet-in-a-bottle
testnet-in-a-bottle
February 10, 2025 22:37 5m 12s
advance container version formal verification #1267: Commit 21f5d6e pushed by sirouk
February 10, 2025 22:37 3m 5s testnet-in-a-bottle
testnet-in-a-bottle
February 10, 2025 22:37 3m 5s
[containers] testnet in a bottle formal verification #1266: Pull request #348 synchronize by sirouk
February 10, 2025 22:31 3m 15s testnet-in-a-bottle
testnet-in-a-bottle
February 10, 2025 22:31 3m 15s
docker nofile compatibility formal verification #1265: Commit f5423d9 pushed by sirouk
February 10, 2025 22:31 3m 7s testnet-in-a-bottle
testnet-in-a-bottle
February 10, 2025 22:31 3m 7s
[testnet] create default balances for blank genesis formal verification #1264: Pull request #349 opened by 0o-de-lally
February 10, 2025 21:55 3m 5s 0o-de-lally:testnet-infra-escrow
0o-de-lally:testnet-infra-escrow
February 10, 2025 21:55 3m 5s
testnet was missing balance data for validators formal verification #1263: Commit c2206c3 pushed by 0o-de-lally
February 10, 2025 21:54 4m 10s ci-bins-patch-tesnet-balances
ci-bins-patch-tesnet-balances
February 10, 2025 21:54 4m 10s
[containers] testnet in a bottle formal verification #1262: Pull request #348 synchronize by sirouk
February 10, 2025 18:24 4m 55s testnet-in-a-bottle
testnet-in-a-bottle
February 10, 2025 18:24 4m 55s
for image registry formal verification #1261: Commit e342b4d pushed by sirouk
February 10, 2025 18:24 3m 19s testnet-in-a-bottle
testnet-in-a-bottle
February 10, 2025 18:24 3m 19s
[containers] testnet in a bottle formal verification #1260: Pull request #348 synchronize by sirouk
February 10, 2025 16:45 3m 41s testnet-in-a-bottle
testnet-in-a-bottle
February 10, 2025 16:45 3m 41s
remove unused volumes formal verification #1259: Commit e7b120f pushed by sirouk
February 10, 2025 16:45 2m 59s testnet-in-a-bottle
testnet-in-a-bottle
February 10, 2025 16:45 2m 59s
[cli] testnet Move bin path (#347) formal verification #1258: Commit bed0ff5 pushed by 0o-de-lally
February 10, 2025 01:27 3m 1s ci-bins-update
ci-bins-update
February 10, 2025 01:27 3m 1s
[containers] testnet in a bottle formal verification #1257: Pull request #348 opened by 0o-de-lally
February 10, 2025 01:26 3m 12s testnet-in-a-bottle
testnet-in-a-bottle
February 10, 2025 01:26 3m 12s
[cli] testnet Move bin path (#347) formal verification #1256: Commit bed0ff5 pushed by dboreham
February 10, 2025 00:49 3m 21s main
main
February 10, 2025 00:49 3m 21s
remove version from template formal verification #1255: Commit 6d2d5fd pushed by sirouk
February 9, 2025 22:42 6m 42s testnet-in-a-bottle
testnet-in-a-bottle
February 9, 2025 22:42 6m 42s
add testnet in a bottle formal verification #1254: Commit 65383ac pushed by sirouk
February 9, 2025 22:41 3m 52s testnet-in-a-bottle
testnet-in-a-bottle
February 9, 2025 22:41 3m 52s
[rust] patch testnet generation tool in cli (#345) formal verification #1253: Commit 9d9d9b8 pushed by sirouk
February 9, 2025 22:38 3m 12s testnet-in-a-bottle
testnet-in-a-bottle
February 9, 2025 22:38 3m 12s
[cli] testnet Move bin path formal verification #1252: Pull request #347 opened by 0o-de-lally
February 9, 2025 22:22 3m 58s 0o-de-lally:patch-testnet-bin-path
0o-de-lally:patch-testnet-bin-path
February 9, 2025 22:22 3m 58s
cleanup formal verification #1251: Commit 6bf940e pushed by sirouk
February 9, 2025 21:22 2m 54s testnet-in-a-bottle
testnet-in-a-bottle
February 9, 2025 21:22 2m 54s
patch testnet setup formal verification #1250: Commit ff6a7c2 pushed by 0o-de-lally
February 9, 2025 21:07 3m 46s ci-bins-patch-testnet
ci-bins-patch-testnet
February 9, 2025 21:07 3m 46s
simplify formal verification #1249: Commit 703b8bc pushed by sirouk
February 9, 2025 21:03 2m 57s testnet-in-a-bottle
testnet-in-a-bottle
February 9, 2025 21:03 2m 57s
[rust] patch testnet generation tool in cli (#345) formal verification #1248: Commit 9d9d9b8 pushed by dboreham
February 9, 2025 18:58 3m 10s ci-bins-update
ci-bins-update
February 9, 2025 18:58 3m 10s