Skip to content

Actions: informalsystems/malachite

Quint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
251 workflow run results
251 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

spec: Fix round skip logic
Quint #101: Pull request #82 synchronize by romac
November 24, 2023 09:25 1m 46s romac/skip-round-fix
November 24, 2023 09:25 1m 46s
spec: Fix round skip logic
Quint #100: Pull request #82 opened by romac
November 24, 2023 09:20 1m 42s romac/skip-round-fix
November 24, 2023 09:20 1m 42s
spec: Add skip round logic
Quint #99: Pull request #75 synchronize by romac
November 24, 2023 08:41 1m 33s josef/skipRoundLogic
November 24, 2023 08:41 1m 33s
tests: MBT for votekeeper
Quint #98: Pull request #63 synchronize by hvanz
November 22, 2023 21:57 1m 49s hvanz/mbt-votekeeper
November 22, 2023 21:57 1m 49s
tests: MBT for votekeeper
Quint #97: Pull request #63 synchronize by hvanz
November 22, 2023 21:19 2m 7s hvanz/mbt-votekeeper
November 22, 2023 21:19 2m 7s
tests: MBT for votekeeper
Quint #96: Pull request #63 synchronize by hvanz
November 22, 2023 19:37 1m 38s hvanz/mbt-votekeeper
November 22, 2023 19:37 1m 38s
tests: MBT for votekeeper
Quint #95: Pull request #63 synchronize by hvanz
November 22, 2023 19:26 1m 37s hvanz/mbt-votekeeper
November 22, 2023 19:26 1m 37s
tests: MBT for votekeeper
Quint #94: Pull request #63 synchronize by hvanz
November 22, 2023 17:47 1m 50s hvanz/mbt-votekeeper
November 22, 2023 17:47 1m 50s
tests: MBT for votekeeper
Quint #93: Pull request #63 synchronize by hvanz
November 22, 2023 17:44 1m 36s hvanz/mbt-votekeeper
November 22, 2023 17:44 1m 36s
tests: MBT for votekeeper
Quint #92: Pull request #63 synchronize by rnbguy
November 22, 2023 17:25 1m 33s hvanz/mbt-votekeeper
November 22, 2023 17:25 1m 33s
tests: MBT for votekeeper
Quint #91: Pull request #63 synchronize by hvanz
November 22, 2023 17:25 1m 32s hvanz/mbt-votekeeper
November 22, 2023 17:25 1m 32s
tests: MBT for votekeeper
Quint #90: Pull request #63 synchronize by rnbguy
November 22, 2023 17:16 1m 33s hvanz/mbt-votekeeper
November 22, 2023 17:16 1m 33s
tests: MBT for votekeeper
Quint #89: Pull request #63 synchronize by hvanz
November 22, 2023 16:59 2m 3s hvanz/mbt-votekeeper
November 22, 2023 16:59 2m 3s
tests: MBT for votekeeper
Quint #88: Pull request #63 synchronize by hvanz
November 22, 2023 16:52 1m 57s hvanz/mbt-votekeeper
November 22, 2023 16:52 1m 57s
tests: MBT for votekeeper
Quint #87: Pull request #63 synchronize by hvanz
November 22, 2023 15:53 1m 35s hvanz/mbt-votekeeper
November 22, 2023 15:53 1m 35s
tests: MBT for votekeeper
Quint #86: Pull request #63 synchronize by hvanz
November 22, 2023 15:33 1m 52s hvanz/mbt-votekeeper
November 22, 2023 15:33 1m 52s
tests: MBT for votekeeper
Quint #85: Pull request #63 synchronize by hvanz
November 22, 2023 15:22 2m 12s hvanz/mbt-votekeeper
November 22, 2023 15:22 2m 12s
tests: MBT for votekeeper
Quint #84: Pull request #63 synchronize by rnbguy
November 22, 2023 15:19 1m 35s hvanz/mbt-votekeeper
November 22, 2023 15:19 1m 35s
tests: MBT for votekeeper
Quint #83: Pull request #63 synchronize by rnbguy
November 22, 2023 15:14 1m 37s hvanz/mbt-votekeeper
November 22, 2023 15:14 1m 37s
tests: MBT for votekeeper
Quint #82: Pull request #63 synchronize by hvanz
November 22, 2023 14:10 1m 51s hvanz/mbt-votekeeper
November 22, 2023 14:10 1m 51s
spec: Refactor votekeeper using quint's new sum types
Quint #81: Pull request #76 synchronize by hvanz
November 22, 2023 13:31 1m 39s hvanz/votekeeper-sum-types
November 22, 2023 13:31 1m 39s
spec: Add skip round logic
Quint #80: Pull request #75 synchronize by josef-widder
November 22, 2023 10:27 1m 50s josef/skipRoundLogic
November 22, 2023 10:27 1m 50s
spec: Add skip round logic
Quint #78: Pull request #75 synchronize by josef-widder
November 20, 2023 09:11 1m 31s 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
November 18, 2023 04:19 2m 0s