Skip to content

Actions: informalsystems/malachite

Actions

Quint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
quint.yml
208 workflow run results
208 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

spec: Refactor consensus and driver modules using sum types Quint #158: Pull request #116 synchronize by hvanz
December 8, 2023 12:27 1m 30s hvanz/consensus-sum-types
hvanz/consensus-sum-types
December 8, 2023 12:27 1m 30s
spec: Refactor votekeeper using Quint sum types (#76) Quint #157: Commit db5f756 pushed by romac
December 8, 2023 11:17 4m 42s main
main
December 8, 2023 11:17 4m 42s
spec: Refactor votekeeper using quint's new sum types Quint #156: Pull request #76 synchronize by romac
December 8, 2023 11:06 4m 0s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
December 8, 2023 11:06 4m 0s
spec: Refactor votekeeper using quint's new sum types Quint #155: Pull request #76 synchronize by hvanz
December 8, 2023 10:19 4m 4s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
December 8, 2023 10:19 4m 4s
spec: Refactor votekeeper using quint's new sum types Quint #154: Pull request #76 synchronize by hvanz
December 8, 2023 09:03 4m 45s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
December 8, 2023 09:03 4m 45s
spec: Refactor votekeeper using quint's new sum types Quint #153: Pull request #76 synchronize by romac
December 8, 2023 08:41 4m 7s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
December 8, 2023 08:41 4m 7s
spec: Refactor votekeeper using quint's new sum types Quint #152: Pull request #76 synchronize by hvanz
December 7, 2023 22:26 4m 40s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
December 7, 2023 22:26 4m 40s
spec: Refactor votekeeper using quint's new sum types Quint #151: Pull request #76 synchronize by hvanz
December 7, 2023 22:05 5m 17s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
December 7, 2023 22:05 5m 17s
spec: Refactor votekeeper using quint's new sum types Quint #150: Pull request #76 synchronize by hvanz
December 7, 2023 21:37 5m 12s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
December 7, 2023 21:37 5m 12s
spec: Refactor votekeeper using quint's new sum types Quint #149: Pull request #76 synchronize by hvanz
December 7, 2023 20:34 4m 35s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
December 7, 2023 20:34 4m 35s
spec: Refactor votekeeper using quint's new sum types Quint #148: Pull request #76 synchronize by hvanz
December 7, 2023 13:59 4m 30s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
December 7, 2023 13:59 4m 30s
spec: Refactor votekeeper using quint's new sum types Quint #147: Pull request #76 synchronize by hvanz
December 7, 2023 11:46 2m 55s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
December 7, 2023 11:46 2m 55s
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
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
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
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
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
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
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
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
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
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
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
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
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
main
November 30, 2023 10:20 1m 54s