Skip to content

Actions: informalsystems/malachite

Actions

Quint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
quint.yml
756 workflow runs
756 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(code): Add polka certificate to VoteSync response Quint #902: Pull request #859 synchronize by romac
February 19, 2025 16:39 31s romac/polka-certificate
romac/polka-certificate
February 19, 2025 16:39 31s
fix(code/core-consensus): Reproduce and fix consensus being stuck with byzantine proposer Quint #901: Pull request #853 synchronize by romac
February 19, 2025 16:38 29s anca/temp_byzantine_proposer
anca/temp_byzantine_proposer
February 19, 2025 16:38 29s
fix(code/core-consensus): Prevent nodes from broadcasting equivocatin… Quint #900: Commit 96b39f6 pushed by github-merge-queue bot
February 19, 2025 16:34 7m 11s main
main
February 19, 2025 16:34 7m 11s
Quint Quint #899: Merge group checks requested
February 19, 2025 16:27 38s
February 19, 2025 16:27 38s
fix(code/core-consensus): Prevent nodes from broadcasting equivocating votes Quint #898: Pull request #864 synchronize by romac
February 19, 2025 16:17 28s romac/vote-equivocation
romac/vote-equivocation
February 19, 2025 16:17 28s
feat(code/engine): Buffer consensus messages during startup and recov… Quint #897: Commit a8be717 pushed by github-merge-queue bot
February 19, 2025 15:44 6m 55s main
main
February 19, 2025 15:44 6m 55s
fix(code/core-consensus): Prevent nodes from broadcasting equivocating votes Quint #896: Pull request #864 opened by romac
February 19, 2025 15:43 15s romac/vote-equivocation
romac/vote-equivocation
February 19, 2025 15:43 15s
Quint Quint #895: Merge group checks requested
February 19, 2025 15:33 21s
February 19, 2025 15:33 21s
chore(ci): Fix codecov components Quint #894: Commit a85a98a pushed by romac
February 19, 2025 15:31 6m 57s main
main
February 19, 2025 15:31 6m 57s
feat(code/engine): Buffer consensus messages during startup and recovery Quint #893: Pull request #860 synchronize by romac
February 19, 2025 15:24 16s romac/wal-replay-buffer
romac/wal-replay-buffer
February 19, 2025 15:24 16s
fix(code/core-consensus): Only cancel propose timeout on a step chang… Quint #892: Commit f3f1268 pushed by romac
February 19, 2025 15:21 7m 22s main
main
February 19, 2025 15:21 7m 22s
fix(code/core-consensus): Only cancel propose timeout on a step change Quint #891: Pull request #862 opened by romac
February 19, 2025 14:57 29s romac/fix-proposal-without-polka-previous
romac/fix-proposal-without-polka-previous
February 19, 2025 14:57 29s
fix(spec/consensus): fixes on Tendermint pseudo-code Quint #890: Pull request #861 opened by cason
February 19, 2025 14:50 6m 43s cason/fix-pseudo-code
cason/fix-pseudo-code
February 19, 2025 14:50 6m 43s
feat(code/engine): Buffer consensus messages during startup and recovery Quint #889: Pull request #860 opened by romac
February 19, 2025 14:17 20s romac/wal-replay-buffer
romac/wal-replay-buffer
February 19, 2025 14:17 20s
chore(code): Cleanup logs Quint #888: Commit b8ff51e pushed by romac
February 19, 2025 10:09 6m 59s main
main
February 19, 2025 10:09 6m 59s
feat(code): Add polka certificate to VoteSync response Quint #887: Pull request #859 opened by romac
February 18, 2025 18:21 16s romac/polka-certificate
romac/polka-certificate
February 18, 2025 18:21 16s
fix(code/core-consensus): Reproduce and fix consensus being stuck with byzantine proposer Quint #886: Pull request #853 synchronize by romac
February 18, 2025 15:29 16s anca/temp_byzantine_proposer
anca/temp_byzantine_proposer
February 18, 2025 15:29 16s
fix(code/app): Fix bug in test app and example app where proposal par… Quint #885: Commit 8e7f30b pushed by romac
February 14, 2025 13:03 6m 30s main
main
February 14, 2025 13:03 6m 30s
fix(code/core-consensus): Reproduce and fix consensus being stuck with byzantine proposer Quint #884: Pull request #853 synchronize by ancazamfir
February 14, 2025 11:50 15s anca/temp_byzantine_proposer
anca/temp_byzantine_proposer
February 14, 2025 11:50 15s
fix(code/core-consensus): Reproduce and fix consensus being stuck with byzantine proposer Quint #883: Pull request #853 synchronize by ancazamfir
February 14, 2025 11:49 19s anca/temp_byzantine_proposer
anca/temp_byzantine_proposer
February 14, 2025 11:49 19s
fix(code/core-consensus): Reproduce and fix consensus being stuck with byzantine proposer Quint #882: Pull request #853 synchronize by ancazamfir
February 14, 2025 11:10 18s anca/temp_byzantine_proposer
anca/temp_byzantine_proposer
February 14, 2025 11:10 18s
fix(code/core-consensus): Reproduce and fix consensus being stuck with byzantine proposer Quint #881: Pull request #853 synchronize by ancazamfir
February 13, 2025 16:11 17s anca/temp_byzantine_proposer
anca/temp_byzantine_proposer
February 13, 2025 16:11 17s
fix(code/core-consensus): Reproduce and fix consensus being stuck with byzantine proposer Quint #880: Pull request #853 synchronize by ancazamfir
February 13, 2025 16:09 25s anca/temp_byzantine_proposer
anca/temp_byzantine_proposer
February 13, 2025 16:09 25s
fix(code/core-consensus): Reproduce and fix consensus being stuck with byzantine proposer Quint #879: Pull request #853 synchronize by ancazamfir
February 13, 2025 15:57 19s anca/temp_byzantine_proposer
anca/temp_byzantine_proposer
February 13, 2025 15:57 19s
fix(code/core-consensus): Reproduce and fix consensus being stuck with byzantine proposer Quint #878: Pull request #853 opened by ancazamfir
February 13, 2025 15:54 24s anca/temp_byzantine_proposer
anca/temp_byzantine_proposer
February 13, 2025 15:54 24s