Skip to content

Actions: informalsystems/malachite

Actions

Quint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
quint.yml
79 workflow run results
79 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

spec: Refactor votekeeper using quint's new sum types Quint #79: Pull request #76 opened by hvanz
November 21, 2023 10:18 50s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
November 21, 2023 10:18 50s
spec: Add skip round logic Quint #78: Pull request #75 synchronize by josef-widder
November 20, 2023 09:11 1m 31s josef/skipRoundLogic
josef/skipRoundLogic
November 20, 2023 09:11 1m 31s
tests: MBT for votekeeper Quint #77: Pull request #63 synchronize by rnbguy
November 18, 2023 04:19 2m 0s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 18, 2023 04:19 2m 0s
tests: MBT for votekeeper Quint #76: Pull request #63 synchronize by rnbguy
November 18, 2023 03:54 2m 0s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 18, 2023 03:54 2m 0s
tests: MBT for votekeeper Quint #75: Pull request #63 synchronize by hvanz
November 17, 2023 22:34 1m 50s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 17, 2023 22:34 1m 50s
tests: MBT for votekeeper Quint #74: Pull request #63 synchronize by hvanz
November 17, 2023 22:32 2m 14s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 17, 2023 22:32 2m 14s
tests: MBT for votekeeper Quint #73: Pull request #63 synchronize by hvanz
November 17, 2023 22:25 1m 16s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 17, 2023 22:25 1m 16s
tests: MBT for votekeeper Quint #72: Pull request #63 synchronize by hvanz
November 17, 2023 22:20 1m 32s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 17, 2023 22:20 1m 32s
tests: MBT for votekeeper Quint #71: Pull request #63 synchronize by hvanz
November 17, 2023 17:24 1m 39s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 17, 2023 17:24 1m 39s
fix(spec/votekeeper): Fix the VoteKeeper spec to account for skip thr… Quint #70: Commit dc2d587 pushed by romac
November 17, 2023 16:18 1m 38s main
main
November 17, 2023 16:18 1m 38s
spec: Add skip round logic Quint #69: Pull request #75 synchronize by josef-widder
November 17, 2023 16:00 3m 25s josef/skipRoundLogic
josef/skipRoundLogic
November 17, 2023 16:00 3m 25s
spec: Add skip round logic Quint #68: Pull request #75 synchronize by josef-widder
November 17, 2023 15:51 1m 32s josef/skipRoundLogic
josef/skipRoundLogic
November 17, 2023 15:51 1m 32s
spec: Add skip round logic Quint #67: Pull request #75 synchronize by josef-widder
November 17, 2023 15:50 1m 32s josef/skipRoundLogic
josef/skipRoundLogic
November 17, 2023 15:50 1m 32s
spec: Add skip round logic Quint #66: Pull request #75 synchronize by josef-widder
November 17, 2023 15:14 1m 34s josef/skipRoundLogic
josef/skipRoundLogic
November 17, 2023 15:14 1m 34s
spec: Add skip round logic Quint #65: Pull request #75 opened by josef-widder
November 17, 2023 14:50 1m 28s josef/skipRoundLogic
josef/skipRoundLogic
November 17, 2023 14:50 1m 28s
tests: MBT for votekeeper Quint #64: Pull request #63 synchronize by hvanz
November 17, 2023 14:33 1m 28s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 17, 2023 14:33 1m 28s
fix(spec/votekeeper): Fix the VoteKeeper spec to account for skip threshold from higher round Quint #63: Pull request #74 synchronize by romac
November 17, 2023 13:51 1m 29s romac/fix-vote-keeper-spec
romac/fix-vote-keeper-spec
November 17, 2023 13:51 1m 29s
fix(spec/votekeeper): Fix the VoteKeeper spec to account for skip threshold from higher round Quint #62: Pull request #74 synchronize by romac
November 17, 2023 10:21 1m 28s romac/fix-vote-keeper-spec
romac/fix-vote-keeper-spec
November 17, 2023 10:21 1m 28s
tests: MBT for votekeeper Quint #61: Pull request #63 synchronize by rnbguy
November 17, 2023 08:59 1m 32s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 17, 2023 08:59 1m 32s
tests: MBT for votekeeper Quint #60: Pull request #63 synchronize by rnbguy
November 17, 2023 08:42 1m 57s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 17, 2023 08:42 1m 57s
tests: MBT for votekeeper Quint #59: Pull request #63 synchronize by rnbguy
November 16, 2023 19:01 1m 25s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 16, 2023 19:01 1m 25s
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