Skip to content

Actions: informalsystems/malachite

Actions

Quint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
quint.yml
346 workflow run results
346 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
First quint draft that is somewhat complete with consensus, executor, voteKeeper Quint #33: Pull request #40 synchronize by josef-widder
November 14, 2023 16:09 1m 43s josef/executor
josef/executor
November 14, 2023 16:09 1m 43s
tests: MBT for votekeeper Quint #32: Pull request #63 opened by hvanz
November 14, 2023 11:38 1m 59s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 14, 2023 11:38 1m 59s
First quint draft that is somewhat complete with consensus, executor, voteKeeper Quint #31: Pull request #40 synchronize by josef-widder
November 14, 2023 09:55 1m 29s josef/executor
josef/executor
November 14, 2023 09:55 1m 29s
First quint draft that is somewhat complete with consensus, executor, voteKeeper Quint #30: Pull request #40 synchronize by josef-widder
November 14, 2023 09:52 2m 0s josef/executor
josef/executor
November 14, 2023 09:52 2m 0s
First quint draft that is somewhat complete with consensus, executor, voteKeeper Quint #29: Pull request #40 synchronize by josef-widder
November 14, 2023 09:50 1m 26s josef/executor
josef/executor
November 14, 2023 09:50 1m 26s
First quint draft that is somewhat complete with consensus, executor, voteKeeper Quint #28: Pull request #40 synchronize by josef-widder
November 14, 2023 09:50 1m 22s josef/executor
josef/executor
November 14, 2023 09:50 1m 22s
First quint draft that is somewhat complete with consensus, executor, voteKeeper Quint #27: Pull request #40 synchronize by josef-widder
November 14, 2023 07:54 1m 45s josef/executor
josef/executor
November 14, 2023 07:54 1m 45s
First quint draft that is somewhat complete with consensus, executor, voteKeeper Quint #26: Pull request #40 synchronize by josef-widder
November 13, 2023 16:32 1m 45s josef/executor
josef/executor
November 13, 2023 16:32 1m 45s
First quint draft that is somewhat complete with consensus, executor, voteKeeper Quint #25: Pull request #40 synchronize by romac
November 13, 2023 14:27 1m 57s josef/executor
josef/executor
November 13, 2023 14:27 1m 57s
First quint draft that is somewhat complete with consensus, executor, voteKeeper Quint #24: Pull request #40 synchronize by romac
November 13, 2023 13:53 1m 38s josef/executor
josef/executor
November 13, 2023 13:53 1m 38s
First quint draft that is somewhat complete with consensus, executor, voteKeeper Quint #23: Pull request #40 synchronize by josef-widder
November 13, 2023 13:16 1m 37s josef/executor
josef/executor
November 13, 2023 13:16 1m 37s
First quint draft that is somewhat complete with consensus, executor, voteKeeper Quint #22: Pull request #40 synchronize by romac
November 13, 2023 13:08 1m 38s josef/executor
josef/executor
November 13, 2023 13:08 1m 38s
ProTip! You can narrow down the results and go further in time using created:<2023-11-13 or the other filters available.