Skip to content

Actions: informalsystems/malachite

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15,427 workflow runs
15,427 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix(code/core-consensus): Reproduce and fix consensus being stuck with byzantine proposer Rust #3100: Pull request #853 synchronize by ancazamfir
March 13, 2025 21:34 6m 55s anca/temp_byzantine_proposer
anca/temp_byzantine_proposer
March 13, 2025 21:34 6m 55s
fix(code/core-consensus): Reproduce and fix consensus being stuck with byzantine proposer MBT #2816: Pull request #853 synchronize by ancazamfir
March 13, 2025 21:34 4m 6s anca/temp_byzantine_proposer
anca/temp_byzantine_proposer
March 13, 2025 21:34 4m 6s
fix(code/core-consensus): Reproduce and fix consensus being stuck with byzantine proposer PR #3374: Pull request #853 synchronize by ancazamfir
March 13, 2025 21:34 11s
March 13, 2025 21:34 11s
chore(code): Undo vote equivocation hack Quint #1084: Pull request #914 synchronize by ancazamfir
March 13, 2025 21:22 13s anca/859_cleanup
anca/859_cleanup
March 13, 2025 21:22 13s
chore(code): Undo vote equivocation hack MBT #2815: Pull request #914 synchronize by ancazamfir
March 13, 2025 21:22 4m 2s anca/859_cleanup
anca/859_cleanup
March 13, 2025 21:22 4m 2s
chore(code): Undo vote equivocation hack Rust #3099: Pull request #914 synchronize by ancazamfir
March 13, 2025 21:22 6m 14s anca/859_cleanup
anca/859_cleanup
March 13, 2025 21:22 6m 14s
chore(code): Undo vote equivocation hack Spelling #2500: Pull request #914 synchronize by ancazamfir
March 13, 2025 21:22 17s anca/859_cleanup
anca/859_cleanup
March 13, 2025 21:22 17s
chore(code): Undo vote equivocation hack Coverage #3141: Pull request #914 synchronize by ancazamfir
March 13, 2025 21:22 23m 45s anca/859_cleanup
anca/859_cleanup
March 13, 2025 21:22 23m 45s
chore(code): Undo vote equivocation hack PR #3373: Pull request #914 synchronize by ancazamfir
March 13, 2025 21:22 11s
March 13, 2025 21:22 11s
feat(code): Add polka certificates to VoteSync response Spelling #2499: Pull request #859 synchronize by ancazamfir
March 13, 2025 21:21 16s romac/polka-certificate
romac/polka-certificate
March 13, 2025 21:21 16s
feat(code): Add polka certificates to VoteSync response Quint #1083: Pull request #859 synchronize by ancazamfir
March 13, 2025 21:21 6m 36s romac/polka-certificate
romac/polka-certificate
March 13, 2025 21:21 6m 36s
feat(code): Add polka certificates to VoteSync response Rust #3098: Pull request #859 synchronize by ancazamfir
March 13, 2025 21:21 11m 8s romac/polka-certificate
romac/polka-certificate
March 13, 2025 21:21 11m 8s
feat(code): Add polka certificates to VoteSync response Coverage #3140: Pull request #859 synchronize by ancazamfir
March 13, 2025 21:21 40m 38s romac/polka-certificate
romac/polka-certificate
March 13, 2025 21:21 40m 38s
feat(code): Add polka certificates to VoteSync response MBT #2814: Pull request #859 synchronize by ancazamfir
March 13, 2025 21:21 4m 6s romac/polka-certificate
romac/polka-certificate
March 13, 2025 21:21 4m 6s
feat(code): Add polka certificates to VoteSync response PR #3372: Pull request #859 synchronize by ancazamfir
March 13, 2025 21:21 11s
March 13, 2025 21:21 11s
chore(code): Undo vote equivocation hack Quint #1082: Pull request #914 synchronize by ancazamfir
March 13, 2025 21:00 14s anca/859_cleanup
anca/859_cleanup
March 13, 2025 21:00 14s
chore(code): Undo vote equivocation hack MBT #2813: Pull request #914 synchronize by ancazamfir
March 13, 2025 21:00 4m 11s anca/859_cleanup
anca/859_cleanup
March 13, 2025 21:00 4m 11s
chore(code): Undo vote equivocation hack Rust #3097: Pull request #914 synchronize by ancazamfir
March 13, 2025 21:00 6m 40s anca/859_cleanup
anca/859_cleanup
March 13, 2025 21:00 6m 40s
chore(code): Undo vote equivocation hack Spelling #2498: Pull request #914 synchronize by ancazamfir
March 13, 2025 21:00 19s anca/859_cleanup
anca/859_cleanup
March 13, 2025 21:00 19s
chore(code): Undo vote equivocation hack Coverage #3139: Pull request #914 synchronize by ancazamfir
March 13, 2025 21:00 22m 46s anca/859_cleanup
anca/859_cleanup
March 13, 2025 21:00 22m 46s
chore(code): Undo vote equivocation hack PR #3371: Pull request #914 synchronize by ancazamfir
March 13, 2025 21:00 16s
March 13, 2025 21:00 16s
chore(code): Undo vote equivocation hack Coverage #3138: Pull request #914 synchronize by ancazamfir
March 13, 2025 18:14 23m 53s anca/859_cleanup
anca/859_cleanup
March 13, 2025 18:14 23m 53s
chore(code): Undo vote equivocation hack Rust #3096: Pull request #914 synchronize by ancazamfir
March 13, 2025 18:14 6m 57s anca/859_cleanup
anca/859_cleanup
March 13, 2025 18:14 6m 57s
chore(code): Undo vote equivocation hack Quint #1081: Pull request #914 synchronize by ancazamfir
March 13, 2025 18:14 16s anca/859_cleanup
anca/859_cleanup
March 13, 2025 18:14 16s
chore(code): Undo vote equivocation hack Spelling #2497: Pull request #914 synchronize by ancazamfir
March 13, 2025 18:14 14s anca/859_cleanup
anca/859_cleanup
March 13, 2025 18:14 14s