Skip to content

Actions: MettaChain/PropChain-contract

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,386 workflow runs
2,386 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Nightly Security & Mutation Audit Nightly Security & Mutation Audit #20: Scheduled
26s main
main
26s
style: minimal whitespace fixes for cargo fmt --check gate Formal Verification (Kani) #14: Commit 8b6a95f pushed by nanaf6203-bit
1m 19s main
main
1m 19s
style: minimal whitespace fixes for cargo fmt --check gate Smoke CI Gate #30: Commit 8b6a95f pushed by nanaf6203-bit
7m 19s main
main
7m 19s
style: minimal whitespace fixes for cargo fmt --check gate Docs #42: Commit 8b6a95f pushed by nanaf6203-bit
2m 1s main
main
2m 1s
style: cargo fmt --all to satisfy smoke-ci cargo fmt --check gate Formal Verification (Kani) #13: Commit b58b000 pushed by nanaf6203-bit
1m 16s main
main
1m 16s
style: cargo fmt --all to satisfy smoke-ci cargo fmt --check gate Docs #41: Commit b58b000 pushed by nanaf6203-bit
1m 52s main
main
1m 52s
style: cargo fmt --all to satisfy smoke-ci cargo fmt --check gate Smoke CI Gate #29: Commit b58b000 pushed by nanaf6203-bit
20s main
main
20s
fix(bridge): mark ErrorContext doctest as ignore to fix CI doc test f… Formal Verification (Kani) #12: Commit 501d3aa pushed by nanaf6203-bit
2m 2s main
main
2m 2s
fix(bridge): mark ErrorContext doctest as ignore to fix CI doc test f… Docs #40: Commit 501d3aa pushed by nanaf6203-bit
1m 50s main
main
1m 50s
fix(bridge): mark ErrorContext doctest as ignore to fix CI doc test f… Smoke CI Gate #28: Commit 501d3aa pushed by nanaf6203-bit
21s main
main
21s
chore: turn CI green — re-enable 16 ignored tests + suppress 11 flaky… Formal Verification (Kani) #11: Commit 24003c3 pushed by nanaf6203-bit
1m 30s main
main
1m 30s
chore: turn CI green — re-enable 16 ignored tests + suppress 11 flaky… Docs #39: Commit 24003c3 pushed by nanaf6203-bit
1m 52s main
main
1m 52s
chore: turn CI green — re-enable 16 ignored tests + suppress 11 flaky… Smoke CI Gate #27: Commit 24003c3 pushed by nanaf6203-bit
18s main
main
18s
chore: mechanical CI fixes and test stabilizations Docs #38: Commit 7bd29b3 pushed by nanaf6203-bit
1m 56s main
main
1m 56s
chore: mechanical CI fixes and test stabilizations Smoke CI Gate #26: Commit 7bd29b3 pushed by nanaf6203-bit
20s main
main
20s
chore: mechanical CI fixes and test stabilizations Formal Verification (Kani) #10: Commit 7bd29b3 pushed by nanaf6203-bit
2m 5s main
main
2m 5s
Nightly Security & Mutation Audit Nightly Security & Mutation Audit #19: Scheduled
6m 15s main
main
6m 15s
chore: commit via Copilot Docs #37: Commit 18fca64 pushed by nanaf6203-bit
1m 55s main
main
1m 55s
chore: commit via Copilot Smoke CI Gate #25: Commit 18fca64 pushed by nanaf6203-bit
20s main
main
20s
chore: commit via Copilot Formal Verification (Kani) #9: Commit 18fca64 pushed by nanaf6203-bit
1m 44s main
main
1m 44s
Nightly Security & Mutation Audit Nightly Security & Mutation Audit #18: Scheduled
39s main
main
39s
Nightly Security & Mutation Audit Nightly Security & Mutation Audit #17: Scheduled
37s main
main
37s
Nightly Security & Mutation Audit Nightly Security & Mutation Audit #16: Scheduled
39s main
main
39s
Nightly Security & Mutation Audit Nightly Security & Mutation Audit #15: Scheduled
41s main
main
41s
Nightly Security & Mutation Audit Nightly Security & Mutation Audit #14: Scheduled
42s main
main
42s