Skip to content

Actions: 0LNetworkCommunity/libra-framework

Actions

formal verification

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add missing CA certs package formal verification #1209: Pull request #342 opened by dboreham
February 5, 2025 01:57 3m 27s dboreham:container-add-certs
dboreham:container-add-certs
February 5, 2025 01:57 3m 27s
[deps] update diem to version with feature flag cleanup (#317) formal verification #1208: Commit 37bb464 pushed by 0o-de-lally
February 5, 2025 00:57 5m 27s ci-bins-sanity
ci-bins-sanity
February 5, 2025 00:57 5m 27s
build framework and lint formal verification #1207: Commit 6781a0e pushed by 0o-de-lally
February 4, 2025 01:07 3m 49s release-7.0.4
release-7.0.4
February 4, 2025 01:07 3m 49s
Merge branch 'governance-mode' into release-7.0.4 formal verification #1206: Commit ecbfcc7 pushed by 0o-de-lally
February 4, 2025 01:00 2m 48s release-7.0.4
release-7.0.4
February 4, 2025 01:00 2m 48s
Add basic container file and CI job (#339) formal verification #1205: Commit 16aef3a pushed by 0o-de-lally
February 4, 2025 00:49 4m 54s ci-fv-sanity
ci-fv-sanity
February 4, 2025 00:49 4m 54s
[ci] update to rust stable (#336) formal verification #1204: Commit 19cea43 pushed by 0o-de-lally
February 3, 2025 23:32 2m 46s release-7.0.4
release-7.0.4
February 3, 2025 23:32 2m 46s
framework release formal verification #1203: Commit 30ce80f pushed by 0o-de-lally
February 3, 2025 23:18 3m 9s release-7.0.4
release-7.0.4
February 3, 2025 23:18 3m 9s
[move] governance mode feature flag formal verification #1202: Pull request #340 opened by 0o-de-lally
February 3, 2025 22:41 2m 41s 0o-de-lally:governance-mode
0o-de-lally:governance-mode
February 3, 2025 22:41 2m 41s
Add basic container file and CI job (#339) formal verification #1201: Commit 3713de0 pushed by 0o-de-lally
February 3, 2025 22:38 2m 49s release-7.0.4
release-7.0.4
February 3, 2025 22:38 2m 49s
governance mode prevents donor_voice creation or schedules txs (no te… formal verification #1200: Commit 3ea541f pushed by 0o-de-lally
February 3, 2025 22:10 2m 39s release-7.0.4
release-7.0.4
February 3, 2025 22:10 2m 39s
remove deprecated test, replace with tooling tests formal verification #1199: Commit b37214e pushed by 0o-de-lally
February 3, 2025 21:50 2m 41s release-7.0.4
release-7.0.4
February 3, 2025 21:50 2m 41s
separate feature flag definitions from evaluation formal verification #1198: Commit e15acb5 pushed by 0o-de-lally
February 3, 2025 19:35 5m 39s release-7.0.4
release-7.0.4
February 3, 2025 19:35 5m 39s
Add basic container file and CI job (#339) formal verification #1197: Commit 16aef3a pushed by dboreham
February 1, 2025 22:03 3m 25s ci-bins-update
ci-bins-update
February 1, 2025 22:03 3m 25s
Add basic container file and CI job (#339) formal verification #1196: Commit 16aef3a pushed by dboreham
February 1, 2025 19:45 3m 15s main
main
February 1, 2025 19:45 3m 15s
Add basic container file and CI job formal verification #1195: Pull request #339 synchronize by dboreham
February 1, 2025 19:23 3m 24s dboreham:add-containerfile
dboreham:add-containerfile
February 1, 2025 19:23 3m 24s
Add basic container file and CI job formal verification #1194: Pull request #339 synchronize by dboreham
February 1, 2025 18:30 3m 17s dboreham:add-containerfile
dboreham:add-containerfile
February 1, 2025 18:30 3m 17s
Add basic container file and CI job formal verification #1193: Pull request #339 synchronize by dboreham
February 1, 2025 00:43 4m 21s dboreham:add-containerfile
dboreham:add-containerfile
February 1, 2025 00:43 4m 21s
Add basic container file and CI job formal verification #1192: Pull request #339 opened by dboreham
January 31, 2025 18:21 5m 13s dboreham:add-containerfile
dboreham:add-containerfile
January 31, 2025 18:21 5m 13s
[cli] background tx submission service (#325) formal verification #1191: Commit 22045b0 pushed by dboreham
January 29, 2025 03:11 2m 56s main
main
January 29, 2025 03:11 2m 56s
[rust] Patch compat 5.2.0 (#338) formal verification #1190: Commit bfe08b0 pushed by dboreham
January 29, 2025 03:10 2m 53s main
main
January 29, 2025 03:10 2m 53s
[cli] background tx submission service formal verification #1189: Pull request #325 synchronize by 0o-de-lally
January 28, 2025 17:31 11m 27s 0o-de-lally:background-txs
0o-de-lally:background-txs
January 28, 2025 17:31 11m 27s
[rust] Patch compat 5.2.0 formal verification #1188: Pull request #338 synchronize by 0o-de-lally
January 28, 2025 17:29 3m 9s patch-compat-5.2.0
patch-compat-5.2.0
January 28, 2025 17:29 3m 9s
Merge branch 'main' into patch-compat-5.2.0 formal verification #1187: Commit 60d885f pushed by 0o-de-lally
January 28, 2025 17:29 3m 52s patch-compat-5.2.0
patch-compat-5.2.0
January 28, 2025 17:29 3m 52s
test adding timestamp_usecs to transaction view v5 formal verification #1186: Commit ee69692 pushed by 0o-de-lally
January 28, 2025 16:39 3m 57s patch-compat-5.2.0
patch-compat-5.2.0
January 28, 2025 16:39 3m 57s
clippy formal verification #1185: Commit c40de65 pushed by 0o-de-lally
January 28, 2025 16:36 3m 59s patch-compat-5.2.0
patch-compat-5.2.0
January 28, 2025 16:36 3m 59s