Skip to content

Actions: informalsystems/malachite

Actions

Quint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
quint.yml
324 workflow run results
324 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 #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
First quint draft that is somewhat complete with consensus, executor, voteKeeper Quint #8: Pull request #40 opened by josef-widder
October 31, 2023 18:50 28s josef/executor
josef/executor
October 31, 2023 18:50 28s
spec: comments on consensus Quint spec (#22) Quint #7: Commit 85db48e pushed by josef-widder
October 31, 2023 17:32 37s main
main
October 31, 2023 17:32 37s
spec/keeper: Adds Skip threshold and threshold emission tracking Quint #6: Pull request #30 opened by angbrav
October 27, 2023 16:18 29s manuel/f+1-rule
manuel/f+1-rule
October 27, 2023 16:18 29s
spec/consensus: comments on consensus Quint spec Quint #5: Pull request #22 opened by cason
October 25, 2023 21:39 28s cason/quint-consensus
cason/quint-consensus
October 25, 2023 21:39 28s
handles duplicates; extend executorEvent with round (#20) Quint #4: Commit 81e5bbe pushed by josef-widder
October 25, 2023 19:12 30s main
main
October 25, 2023 19:12 30s
handles duplicates; extend executorEvent with round Quint #3: Pull request #20 opened by angbrav
October 25, 2023 19:10 31s manuel/duplicate-votes
manuel/duplicate-votes
October 25, 2023 19:10 31s
Quint Quint #2: Manually run by romac
October 25, 2023 15:46 28s main
main
October 25, 2023 15:46 28s
Quint Quint #1: Manually run by romac
October 25, 2023 15:45 Startup failure main
main
October 25, 2023 15:45 Startup failure
ProTip! You can narrow down the results and go further in time using created:<2023-10-25 or the other filters available.