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

tests: MBT for votekeeper (#63) Quint #121: Commit 1dafd49 pushed by romac
November 28, 2023 10:11 2m 44s main
main
November 28, 2023 10:11 2m 44s
tests: MBT for votekeeper Quint #120: Pull request #63 synchronize by romac
November 28, 2023 10:01 2m 5s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 28, 2023 10:01 2m 5s
tests: MBT for votekeeper Quint #119: Pull request #63 synchronize by rnbguy
November 28, 2023 09:11 2m 4s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 28, 2023 09:11 2m 4s
tests: MBT for votekeeper Quint #118: Pull request #63 synchronize by hvanz
November 28, 2023 08:51 2m 20s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 28, 2023 08:51 2m 20s
tests: MBT for votekeeper Quint #117: Pull request #63 synchronize by hvanz
November 28, 2023 08:34 2m 18s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 28, 2023 08:34 2m 18s
tests: MBT for votekeeper Quint #116: Pull request #63 synchronize by romac
November 28, 2023 08:07 2m 9s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 28, 2023 08:07 2m 9s
tests: MBT for votekeeper Quint #115: Pull request #63 synchronize by rnbguy
November 28, 2023 00:00 1m 55s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 28, 2023 00:00 1m 55s
tests: MBT for votekeeper Quint #114: Pull request #63 synchronize by rnbguy
November 27, 2023 23:56 2m 9s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 27, 2023 23:56 2m 9s
tests: MBT for votekeeper Quint #113: Pull request #63 synchronize by rnbguy
November 27, 2023 23:51 2m 4s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 27, 2023 23:51 2m 4s
tests: MBT for votekeeper Quint #112: Pull request #63 synchronize by rnbguy
November 27, 2023 20:38 2m 11s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 27, 2023 20:38 2m 11s
spec: add Consensus English spec Quint #111: Pull request #89 opened by ancazamfir
November 27, 2023 12:33 25s cason/consensus-smr
cason/consensus-smr
November 27, 2023 12:33 25s
spec: Align VoteKeeper spec with the code (#84) Quint #110: Commit 1c3d844 pushed by romac
November 27, 2023 11:55 2m 4s main
main
November 27, 2023 11:55 2m 4s
spec: Align VoteKeeper spec with the code Quint #109: Pull request #84 opened by romac
November 24, 2023 14:11 2m 1s romac/apply-vote-round
romac/apply-vote-round
November 24, 2023 14:11 2m 1s
bluespec (#83) Quint #108: Commit c6c695e pushed by josef-widder
November 24, 2023 14:05 2m 8s main
main
November 24, 2023 14:05 2m 8s
bluespec Quint #107: Pull request #83 opened by josef-widder
November 24, 2023 14:03 2m 1s josef/bluespec
josef/bluespec
November 24, 2023 14:03 2m 1s
spec: Add skip round logic (#75) Quint #106: Commit ce7a130 pushed by romac
November 24, 2023 13:59 1m 42s main
main
November 24, 2023 13:59 1m 42s
spec: Add skip round logic Quint #105: Pull request #75 synchronize by romac
November 24, 2023 13:06 1m 43s josef/skipRoundLogic
josef/skipRoundLogic
November 24, 2023 13:06 1m 43s
spec: Add skip round logic Quint #104: Pull request #75 synchronize by josef-widder
November 24, 2023 10:45 2m 1s josef/skipRoundLogic
josef/skipRoundLogic
November 24, 2023 10:45 2m 1s
spec: Add skip round logic Quint #103: Pull request #75 synchronize by josef-widder
November 24, 2023 10:15 2m 17s josef/skipRoundLogic
josef/skipRoundLogic
November 24, 2023 10:15 2m 17s
tests: MBT for votekeeper Quint #102: Pull request #63 synchronize by rnbguy
November 24, 2023 09:57 1m 33s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 24, 2023 09:57 1m 33s
spec: Fix round skip logic Quint #101: Pull request #82 synchronize by romac
November 24, 2023 09:25 1m 46s romac/skip-round-fix
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
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
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
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
hvanz/mbt-votekeeper
November 22, 2023 21:19 2m 7s
ProTip! You can narrow down the results and go further in time using created:<2023-11-22 or the other filters available.