Skip to content

Actions: 0LNetworkCommunity/libra-framework

Actions

formal verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formal.yaml
675 workflow runs
675 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update product version formal verification #1798: Commit 8f6a8c3 pushed by dboreham
20m 8s 8.0.13
8.0.13
20m 8s
Update product version formal verification #1797: Commit 8f6a8c3 pushed by dboreham
33m 50s release-8.0
release-8.0
33m 50s
Refactor container files (#433) formal verification #1796: Commit 41cd26a pushed by dboreham
6m 21s release-8.0
release-8.0
6m 21s
Refactor container files (#433) formal verification #1795: Commit c9d94bd pushed by 0o-de-lally
6m 12s main
main
6m 12s
Refactor container files formal verification #1794: Pull request #433 synchronize by dboreham
6m 17s petticur:refactor-container
petticur:refactor-container
6m 17s
Refactor container files formal verification #1793: Pull request #433 synchronize by dboreham
5m 29s petticur:refactor-container
petticur:refactor-container
5m 29s
Refactor container files formal verification #1792: Pull request #433 synchronize by dboreham
5m 29s petticur:refactor-container
petticur:refactor-container
5m 29s
Refactor container files formal verification #1791: Pull request #433 synchronize by dboreham
5m 9s petticur:refactor-container
petticur:refactor-container
5m 9s
Refactor container files formal verification #1790: Pull request #433 synchronize by dboreham
11m 7s petticur:refactor-container
petticur:refactor-container
11m 7s
Refactor container files formal verification #1789: Pull request #433 synchronize by dboreham
5m 16s petticur:refactor-container
petticur:refactor-container
5m 16s
[cli] arg to skip interactive archive mode on fullnode init (#435) formal verification #1788: Commit f425a47 pushed by dboreham
3m 55s main
main
3m 55s
[cli] arg to skip interactive archive mode on fullnode init formal verification #1787: Pull request #435 synchronize by 0o-de-lally
5m 47s 0o-de-lally:patch-interactive-archive-mode
0o-de-lally:patch-interactive-archive-mode
5m 47s
[cli] arg to skip interactive archive mode on fullnode init formal verification #1786: Pull request #435 opened by 0o-de-lally
5m 13s 0o-de-lally:patch-interactive-archive-mode
0o-de-lally:patch-interactive-archive-mode
5m 13s
Refactor container files formal verification #1785: Pull request #433 synchronize by dboreham
3m 37s petticur:refactor-container
petticur:refactor-container
3m 37s
Refactor container files formal verification #1784: Pull request #433 synchronize by dboreham
5m 20s petticur:refactor-container
petticur:refactor-container
5m 20s
[config] fullnode pruning options (#432) formal verification #1783: Commit f1cdb3f pushed by sasuke0787
5m 25s main
main
5m 25s
Refactor container files formal verification #1782: Pull request #433 synchronize by dboreham
4m 50s petticur:refactor-container
petticur:refactor-container
4m 50s
Refactor container files formal verification #1781: Pull request #433 synchronize by dboreham
5m 9s petticur:refactor-container
petticur:refactor-container
5m 9s
Refactor container files formal verification #1780: Pull request #433 synchronize by dboreham
5m 3s petticur:refactor-container
petticur:refactor-container
5m 3s
Refactor container files formal verification #1779: Pull request #433 synchronize by dboreham
4m 57s petticur:refactor-container
petticur:refactor-container
4m 57s
Refactor container files formal verification #1778: Pull request #433 synchronize by dboreham
5m 13s petticur:refactor-container
petticur:refactor-container
5m 13s
Refactor container files formal verification #1777: Pull request #433 synchronize by dboreham
8m 45s petticur:refactor-container
petticur:refactor-container
8m 45s
Refactor container files formal verification #1776: Pull request #433 synchronize by dboreham
3m 46s petticur:refactor-container
petticur:refactor-container
3m 46s
[config] fullnode pruning options formal verification #1775: Pull request #432 synchronize by 0o-de-lally
6m 59s 0o-de-lally:archive-node-cfg
0o-de-lally:archive-node-cfg
6m 59s
[config] fullnode pruning options formal verification #1774: Pull request #432 synchronize by 0o-de-lally
4m 37s 0o-de-lally:archive-node-cfg
0o-de-lally:archive-node-cfg
4m 37s