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

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
First quint draft that is somewhat complete with consensus, executor, voteKeeper Quint #21: Pull request #40 synchronize by josef-widder
November 13, 2023 09:33 1m 22s josef/executor
josef/executor
November 13, 2023 09:33 1m 22s
First quint draft that is somewhat complete with consensus, executor, voteKeeper Quint #20: Pull request #40 synchronize by josef-widder
November 13, 2023 09:24 1m 21s josef/executor
josef/executor
November 13, 2023 09:24 1m 21s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Quint #19: Pull request #18 synchronize by romac
November 10, 2023 14:15 26s romac/itf
romac/itf
November 10, 2023 14:15 26s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Quint #18: Pull request #18 synchronize by romac
November 10, 2023 13:35 29s romac/itf
romac/itf
November 10, 2023 13:35 29s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Quint #17: Pull request #18 synchronize by romac
November 10, 2023 13:34 30s romac/itf
romac/itf
November 10, 2023 13:34 30s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Quint #16: Pull request #18 synchronize by romac
November 10, 2023 12:45 34s romac/itf
romac/itf
November 10, 2023 12:45 34s
spec/keeper: Adds Skip threshold and threshold emission tracking (#30) Quint #15: Commit c5b7d1c pushed by angbrav
November 3, 2023 09:46 36s main
main
November 3, 2023 09:46 36s
First quint draft that is somewhat complete with consensus, executor, voteKeeper Quint #14: Pull request #40 synchronize by josef-widder
November 1, 2023 17:41 25s josef/executor
josef/executor
November 1, 2023 17:41 25s
First quint draft that is somewhat complete with consensus, executor, voteKeeper Quint #13: Pull request #40 synchronize by josef-widder
November 1, 2023 15:12 30s josef/executor
josef/executor
November 1, 2023 15:12 30s
First quint draft that is somewhat complete with consensus, executor, voteKeeper Quint #12: Pull request #40 synchronize by josef-widder
October 31, 2023 19:56 25s josef/executor
josef/executor
October 31, 2023 19:56 25s
First quint draft that is somewhat complete with consensus, executor, voteKeeper Quint #11: Pull request #40 synchronize by josef-widder
October 31, 2023 19:14 25s josef/executor
josef/executor
October 31, 2023 19:14 25s
spec/keeper: Adds Skip threshold and threshold emission tracking Quint #10: Pull request #30 synchronize by angbrav
October 31, 2023 19:11 32s manuel/f+1-rule
manuel/f+1-rule
October 31, 2023 19:11 32s
spec/keeper: Adds Skip threshold and threshold emission tracking Quint #9: Pull request #30 synchronize by angbrav
October 31, 2023 19:04 36s manuel/f+1-rule
manuel/f+1-rule
October 31, 2023 19:04 36s