Skip to content

Actions: informalsystems/malachite

Quint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
346 workflow run results
346 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 #146: Pull request #76 synchronize by hvanz
December 7, 2023 11:23 2m 18s hvanz/votekeeper-sum-types
December 7, 2023 11:23 2m 18s
spec: adding step change
Quint #145: Pull request #104 synchronize by josef-widder
December 7, 2023 08:59 4m 38s josef/addStepInput
December 7, 2023 08:59 4m 38s
spec: Refactor votekeeper using quint's new sum types
Quint #144: Pull request #76 synchronize by hvanz
December 6, 2023 15:40 2m 36s hvanz/votekeeper-sum-types
December 6, 2023 15:40 2m 36s
spec: adding step change
Quint #143: Pull request #104 synchronize by josef-widder
December 6, 2023 15:33 4m 37s josef/addStepInput
December 6, 2023 15:33 4m 37s
spec: adding step change
Quint #142: Pull request #104 synchronize by josef-widder
December 6, 2023 11:59 1m 31s josef/addStepInput
December 6, 2023 11:59 1m 31s
spec: adding step change
Quint #141: Pull request #104 opened by josef-widder
December 6, 2023 11:08 3m 42s josef/addStepInput
December 6, 2023 11:08 3m 42s
test(spec): A problematic run
Quint #140: Pull request #101 synchronize by josef-widder
December 6, 2023 10:04 5m 58s josef/i95-testcases
December 6, 2023 10:04 5m 58s
test(spec): A problematic run
Quint #139: Pull request #101 synchronize by josef-widder
December 5, 2023 12:31 5m 55s josef/i95-testcases
December 5, 2023 12:31 5m 55s
test(spec): A problematic run
Quint #138: Pull request #101 opened by josef-widder
December 4, 2023 18:06 4m 20s josef/i95-testcases
December 4, 2023 18:06 4m 20s
spec: Overview over consensus logic covered with tests (#92)
Quint #137: Commit 1074875 pushed by romac
November 30, 2023 14:09 3m 18s main
November 30, 2023 14:09 3m 18s
spec: Overview over consensus logic covered with tests
Quint #136: Pull request #92 synchronize by romac
November 30, 2023 11:05 3m 4s josef/testcoverage
November 30, 2023 11:05 3m 4s
spec: Overview over consensus logic covered with tests
Quint #135: Pull request #92 synchronize by romac
November 30, 2023 10:55 41m 3s josef/testcoverage
November 30, 2023 10:55 41m 3s
spec: Renaming and cleanup (#94)
Quint #134: Commit d4090cb pushed by romac
November 30, 2023 10:20 1m 54s main
November 30, 2023 10:20 1m 54s
spec: Renaming and cleanup
Quint #133: Pull request #94 synchronize by romac
November 30, 2023 09:52 2m 3s romac/cleanup-quint
November 30, 2023 09:52 2m 3s
spec: Renaming and cleanup
Quint #132: Pull request #94 synchronize by romac
November 30, 2023 09:42 2m 1s romac/cleanup-quint
November 30, 2023 09:42 2m 1s
spec: Overview over consensus logic covered with tests
Quint #131: Pull request #92 synchronize by josef-widder
November 30, 2023 09:32 47m 8s josef/testcoverage
November 30, 2023 09:32 47m 8s
spec: Refactor votekeeper using quint's new sum types
Quint #130: Pull request #76 synchronize by hvanz
November 30, 2023 09:20 2m 1s hvanz/votekeeper-sum-types
November 30, 2023 09:20 2m 1s
spec: Renaming and cleanup
Quint #129: Pull request #94 opened by romac
November 30, 2023 08:26 2m 21s romac/cleanup-quint
November 30, 2023 08:26 2m 21s
spec: Overview over consensus logic covered with tests
Quint #128: Pull request #92 synchronize by josef-widder
November 29, 2023 15:19 43m 4s josef/testcoverage
November 29, 2023 15:19 43m 4s
spec: Overview over consensus logic covered with tests
Quint #127: Pull request #92 synchronize by josef-widder
November 29, 2023 15:09 12m 39s josef/testcoverage
November 29, 2023 15:09 12m 39s
spec: Overview over consensus logic covered with tests
Quint #126: Pull request #92 synchronize by josef-widder
November 29, 2023 15:08 2m 17s josef/testcoverage
November 29, 2023 15:08 2m 17s
spec: Overview over consensus logic covered with tests
Quint #125: Pull request #92 synchronize by josef-widder
November 29, 2023 14:15 1m 57s josef/testcoverage
November 29, 2023 14:15 1m 57s
spec: Overview over consensus logic covered with tests
Quint #124: Pull request #92 synchronize by josef-widder
November 28, 2023 17:38 2m 41s josef/testcoverage
November 28, 2023 17:38 2m 41s
spec: Overview over consensus logic covered with tests
Quint #123: Pull request #92 synchronize by josef-widder
November 28, 2023 16:53 1m 50s josef/testcoverage
November 28, 2023 16:53 1m 50s
spec: Overview over consensus logic covered with tests
Quint #122: Pull request #92 opened by josef-widder
November 28, 2023 15:40 1m 51s josef/testcoverage
November 28, 2023 15:40 1m 51s