Skip to content

Actions: informalsystems/malachite

Actions

Quint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
quint.yml
751 workflow runs
751 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(code/core-consensus): Add vote_sync_mode option to consensus parameters Quint #916: Pull request #870 synchronize by romac
February 20, 2025 15:53 20s romac/vote-sync-mode
romac/vote-sync-mode
February 20, 2025 15:53 20s
feat(code/core-consensus): Add vote_sync_mode option to consensus parameters Quint #915: Pull request #870 synchronize by romac
February 20, 2025 15:32 14s romac/vote-sync-mode
romac/vote-sync-mode
February 20, 2025 15:32 14s
feat(code/core-consensus): Add vote_sync_mode option to consensus parameters Quint #914: Pull request #870 synchronize by romac
February 20, 2025 14:59 13s romac/vote-sync-mode
romac/vote-sync-mode
February 20, 2025 14:59 13s
feat(code/core-consensus): Add vote_sync_mode option to consensus parameters Quint #913: Pull request #870 synchronize by romac
February 20, 2025 14:49 14s romac/vote-sync-mode
romac/vote-sync-mode
February 20, 2025 14:49 14s
feat(code/core-consensus): Add vote_sync_mode option to consensus parameters Quint #912: Pull request #870 synchronize by romac
February 20, 2025 11:38 19s romac/vote-sync-mode
romac/vote-sync-mode
February 20, 2025 11:38 19s
feat(code/core-consensus): Add vote_sync_mode option to consensus parameters Quint #911: Pull request #870 synchronize by romac
February 20, 2025 09:37 19s romac/vote-sync-mode
romac/vote-sync-mode
February 20, 2025 09:37 19s
feat(code/example): Simulate processing time in example app Quint #910: Commit f390e0d pushed by romac
February 20, 2025 09:37 6m 41s main
main
February 20, 2025 09:37 6m 41s
feat(code/core-consensus): Add vote_sync_mode option to consensus parameters Quint #909: Pull request #870 synchronize by romac
February 20, 2025 09:07 15s romac/vote-sync-mode
romac/vote-sync-mode
February 20, 2025 09:07 15s
feat(code/core-consensus): Add vote_sync_mode option to consensus parameters Quint #908: Pull request #870 synchronize by romac
February 20, 2025 08:56 15s romac/vote-sync-mode
romac/vote-sync-mode
February 20, 2025 08:56 15s
feat(code/core-consensus): Add vote_sync_mode option to consensus parameters Quint #907: Pull request #870 synchronize by romac
February 20, 2025 08:39 15s romac/vote-sync-mode
romac/vote-sync-mode
February 20, 2025 08:39 15s
feat(code/core-consensus): Add vote_sync_mode option to consensus parameters Quint #906: Pull request #870 opened by romac
February 20, 2025 08:24 13s romac/vote-sync-mode
romac/vote-sync-mode
February 20, 2025 08:24 13s
feat(code/starknet): Starknet interoperability Quint #905: Pull request #868 opened by ancazamfir
February 19, 2025 19:22 15s anca/starknet_interop
anca/starknet_interop
February 19, 2025 19:22 15s
fix(code/core-consensus): Reproduce and fix consensus being stuck with byzantine proposer Quint #904: Pull request #853 synchronize by romac
February 19, 2025 17:17 15s anca/temp_byzantine_proposer
anca/temp_byzantine_proposer
February 19, 2025 17:17 15s
feat(code): Add polka certificate to VoteSync response Quint #903: Pull request #859 synchronize by romac
February 19, 2025 16:55 18s romac/polka-certificate
romac/polka-certificate
February 19, 2025 16:55 18s
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