Skip to content

Actions: informalsystems/malachite

Actions

Quint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
quint.yml
208 workflow run results
208 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tests: MBT for votekeeper Quint #58: Pull request #63 synchronize by rnbguy
November 16, 2023 18:57 1m 33s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 16, 2023 18:57 1m 33s
tests: MBT for votekeeper Quint #57: Pull request #63 synchronize by rnbguy
November 16, 2023 18:55 1m 32s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 16, 2023 18:55 1m 32s
tests: MBT for votekeeper Quint #56: Pull request #63 synchronize by rnbguy
November 16, 2023 18:51 1m 32s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 16, 2023 18:51 1m 32s
tests: MBT for votekeeper Quint #55: Pull request #63 synchronize by rnbguy
November 16, 2023 12:35 1m 32s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 16, 2023 12:35 1m 32s
tests: MBT for votekeeper Quint #54: Pull request #63 synchronize by rnbguy
November 16, 2023 12:30 1m 30s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 16, 2023 12:30 1m 30s
tests: MBT for votekeeper Quint #53: Pull request #63 synchronize by rnbguy
November 16, 2023 12:21 1m 41s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 16, 2023 12:21 1m 41s
tests: MBT for votekeeper Quint #52: Pull request #63 synchronize by rnbguy
November 16, 2023 12:17 1m 56s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 16, 2023 12:17 1m 56s
tests: MBT for votekeeper Quint #51: Pull request #63 synchronize by rnbguy
November 16, 2023 12:01 1m 38s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 16, 2023 12:01 1m 38s
tests: MBT for votekeeper Quint #50: Pull request #63 synchronize by rnbguy
November 16, 2023 11:53 1m 57s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 16, 2023 11:53 1m 57s
tests: MBT for votekeeper Quint #49: Pull request #63 synchronize by rnbguy
November 16, 2023 11:51 1m 35s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 16, 2023 11:51 1m 35s
tests: MBT for votekeeper Quint #48: Pull request #63 synchronize by hvanz
November 15, 2023 22:36 1m 32s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 15, 2023 22:36 1m 32s
feat(driver): Simplify code to keep only one round state Quint #47: Pull request #71 synchronize by romac
November 15, 2023 15:33 1m 46s anca/one_round_state
anca/one_round_state
November 15, 2023 15:33 1m 46s
fix(spec/votekeeper): Fix the VoteKeeper spec to account for skip threshold from higher round Quint #46: Pull request #74 synchronize by romac
November 15, 2023 15:11 1m 24s romac/fix-vote-keeper-spec
romac/fix-vote-keeper-spec
November 15, 2023 15:11 1m 24s
tests: MBT for votekeeper Quint #45: Pull request #63 synchronize by hvanz
November 15, 2023 14:55 1m 36s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 15, 2023 14:55 1m 36s
tests: MBT for votekeeper Quint #44: Pull request #63 synchronize by hvanz
November 15, 2023 14:53 1m 44s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 15, 2023 14:53 1m 44s
First quint draft that is somewhat complete with consensus, executor,… Quint #43: Commit c4f9bfd pushed by josef-widder
November 15, 2023 14:10 1m 49s main
main
November 15, 2023 14:10 1m 49s
First quint draft that is somewhat complete with consensus, executor, voteKeeper Quint #42: Pull request #40 synchronize by josef-widder
November 15, 2023 14:04 1m 42s josef/executor
josef/executor
November 15, 2023 14:04 1m 42s
Clean votekeeper spec Quint #41: Pull request #69 synchronize by josef-widder
November 15, 2023 14:03 1m 25s hvanz/spec-votekeeper-pass
hvanz/spec-votekeeper-pass
November 15, 2023 14:03 1m 25s
First quint draft that is somewhat complete with consensus, executor, voteKeeper Quint #40: Pull request #40 synchronize by josef-widder
November 15, 2023 14:02 1m 51s josef/executor
josef/executor
November 15, 2023 14:02 1m 51s
tests: MBT for votekeeper Quint #39: Pull request #63 synchronize by romac
November 15, 2023 12:17 1m 33s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 15, 2023 12:17 1m 33s
tests: MBT for votekeeper Quint #38: Pull request #63 synchronize by romac
November 15, 2023 11:12 1m 36s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 15, 2023 11:12 1m 36s
test: Deserialize ITF traces emitted by consensus and vote keeper Qui… Quint #37: Commit 7caef15 pushed by romac
November 15, 2023 11:09 35s main
main
November 15, 2023 11:09 35s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Quint #36: Pull request #18 synchronize by romac
November 15, 2023 11:07 35s romac/itf
romac/itf
November 15, 2023 11:07 35s
fix(spec/votekeeper): Fix the VoteKeeper spec to account for skip threshold from higher round Quint #35: Pull request #74 opened by romac
November 15, 2023 11:01 1m 18s romac/fix-vote-keeper-spec
romac/fix-vote-keeper-spec
November 15, 2023 11:01 1m 18s
Clean votekeeper spec Quint #34: Pull request #69 opened by hvanz
November 14, 2023 16:14 1m 23s hvanz/spec-votekeeper-pass
hvanz/spec-votekeeper-pass
November 14, 2023 16:14 1m 23s