Skip to content

Actions: informalsystems/malachite

Actions

Quint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
quint.yml
745 workflow runs
745 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(code/starknet): Starknet interoperability Quint #950: Pull request #868 synchronize by romac
February 27, 2025 13:32 15s anca/starknet_interop
anca/starknet_interop
February 27, 2025 13:32 15s
chore(code/network): Switch back to using ractor's OutputPort facil… Quint #949: Commit 7c12ded pushed by romac
February 27, 2025 12:02 6m 41s main
main
February 27, 2025 12:02 6m 41s
chore(code/network): Switch back to using ractor's OutputPort facility Quint #948: Pull request #877 synchronize by romac
February 27, 2025 11:36 20s romac/network-output-port
romac/network-output-port
February 27, 2025 11:36 20s
chore(code/network): Switch back to using ractor's OutputPort facility Quint #947: Pull request #877 opened by romac
February 27, 2025 11:34 17s romac/network-output-port
romac/network-output-port
February 27, 2025 11:34 17s
fix(code/network): Notify new subscribers of listen addresses and con… Quint #946: Commit 3dbaed3 pushed by romac
February 27, 2025 11:02 6m 34s main
main
February 27, 2025 11:02 6m 34s
fix(code/network): Notify new subscribers of listen addresses and connected peers Quint #945: Pull request #876 opened by romac
February 27, 2025 10:45 18s romac/network-notify
romac/network-notify
February 27, 2025 10:45 18s
feat(code): Allow applications to define their own configuration type Quint #944: Pull request #872 synchronize by romac
February 26, 2025 16:59 17s romac/split-config
romac/split-config
February 26, 2025 16:59 17s
chore: Add detailed contributing informations Quint #943: Pull request #875 synchronize by romac
February 26, 2025 09:24 20s romac/contributing
romac/contributing
February 26, 2025 09:24 20s
chore: Add detailed contributing informations Quint #942: Pull request #875 opened by romac
February 26, 2025 09:18 19s romac/contributing
romac/contributing
February 26, 2025 09:18 19s
fix(spec/consensus): Small fixes to overview.md file. Quint #941: Pull request #873 synchronize by josef-widder
February 26, 2025 09:00 6m 31s nenad/overiview.md-pass
nenad/overiview.md-pass
February 26, 2025 09:00 6m 31s
feat(code): Allow applications to define their own configuration type Quint #940: Pull request #872 synchronize by romac
February 25, 2025 14:58 18s romac/split-config
romac/split-config
February 25, 2025 14:58 18s
feat(code): Allow applications to define their own configuration type Quint #939: Pull request #872 synchronize by romac
February 25, 2025 12:42 16s romac/split-config
romac/split-config
February 25, 2025 12:42 16s
feat(code): Allow applications to define their own configuration type Quint #938: Pull request #872 synchronize by romac
February 25, 2025 12:35 17s romac/split-config
romac/split-config
February 25, 2025 12:35 17s
feat(code): Allow applications to define their own configuration type Quint #937: Pull request #872 synchronize by romac
February 25, 2025 11:05 15s romac/split-config
romac/split-config
February 25, 2025 11:05 15s
feat(code/core-consensus): Add vote_sync_mode option to consensus p… Quint #936: Commit ad7350e pushed by github-merge-queue bot
February 24, 2025 19:55 6m 39s main
main
February 24, 2025 19:55 6m 39s
Quint Quint #935: Merge group checks requested
February 24, 2025 19:48 15s
February 24, 2025 19:48 15s
feat(code): Allow applications to define their own configuration type Quint #934: Pull request #872 synchronize by romac
February 24, 2025 14:02 22s romac/split-config
romac/split-config
February 24, 2025 14:02 22s
fix(spec/consensus): Small fixes to overview.md file. Quint #933: Pull request #873 opened by nenadmilosevic95
February 24, 2025 13:01 6m 37s nenad/overiview.md-pass
nenad/overiview.md-pass
February 24, 2025 13:01 6m 37s
feat(code): Allow applications to define their own configuration type Quint #932: Pull request #872 opened by romac
February 24, 2025 12:00 19s romac/split-config
romac/split-config
February 24, 2025 12:00 19s
feat(code/core-consensus): Add vote_sync_mode option to consensus parameters Quint #931: Pull request #870 synchronize by romac
February 24, 2025 11:09 15s romac/vote-sync-mode
romac/vote-sync-mode
February 24, 2025 11:09 15s
feat(code/core-consensus): Add vote_sync_mode option to consensus parameters Quint #930: Pull request #870 synchronize by romac
February 24, 2025 10:55 13s romac/vote-sync-mode
romac/vote-sync-mode
February 24, 2025 10:55 13s
feat(code/core-consensus): Add vote_sync_mode option to consensus parameters Quint #929: Pull request #870 synchronize by romac
February 24, 2025 10:47 17s romac/vote-sync-mode
romac/vote-sync-mode
February 24, 2025 10:47 17s
chore(code): Fix clippy warnings on Rust 1.85 Quint #928: Commit 5aec3d5 pushed by romac
February 24, 2025 09:35 6m 33s main
main
February 24, 2025 09:35 6m 33s
chore(code/starknet): Change signature scheme from ECDSA to Ed25519 (… Quint #927: Commit 52ee8df pushed by github-merge-queue bot
February 21, 2025 15:50 6m 36s main
main
February 21, 2025 15:50 6m 36s
Quint Quint #926: Merge group checks requested
February 21, 2025 15:43 14s
February 21, 2025 15:43 14s