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

Run codespell on CI (#136) Quint #208: Commit 73a9900 pushed by romac
January 3, 2024 13:53 9m 0s main
main
January 3, 2024 13:53 9m 0s
Run codespell on CI Quint #207: Pull request #136 synchronize by romac
January 3, 2024 13:44 6m 13s codespell
codespell
January 3, 2024 13:44 6m 13s
Run codespell on CI Quint #206: Pull request #136 synchronize by romac
January 3, 2024 13:41 9m 2s codespell
codespell
January 3, 2024 13:41 9m 2s
test: Fix bug in MBT test where some steps were skipped Quint #205: Pull request #129 opened by romac
December 21, 2023 16:01 7m 45s romac/mbt-fix
romac/mbt-fix
December 21, 2023 16:01 7m 45s
test(mbt): MBT for round state machine (#120) Quint #204: Commit 22fe845 pushed by romac
December 19, 2023 10:56 7m 48s main
main
December 19, 2023 10:56 7m 48s
test(mbt): MBT for round state machine Quint #203: Pull request #120 synchronize by romac
December 19, 2023 09:52 6m 23s mbt-consensus
mbt-consensus
December 19, 2023 09:52 6m 23s
test(mbt): MBT for round state machine Quint #202: Pull request #120 synchronize by romac
December 18, 2023 15:20 6m 45s mbt-consensus
mbt-consensus
December 18, 2023 15:20 6m 45s
test(mbt): MBT for round state machine Quint #201: Pull request #120 synchronize by romac
December 18, 2023 14:44 8m 17s mbt-consensus
mbt-consensus
December 18, 2023 14:44 8m 17s
test(mbt): MBT for round state machine Quint #200: Pull request #120 synchronize by romac
December 18, 2023 14:43 6m 26s mbt-consensus
mbt-consensus
December 18, 2023 14:43 6m 26s
test(mbt): MBT for round state machine Quint #199: Pull request #120 synchronize by romac
December 18, 2023 13:55 6m 14s mbt-consensus
mbt-consensus
December 18, 2023 13:55 6m 14s
test(mbt): MBT for round state machine Quint #198: Pull request #120 synchronize by romac
December 18, 2023 13:52 6m 28s mbt-consensus
mbt-consensus
December 18, 2023 13:52 6m 28s
test(mbt): MBT for round state machine Quint #197: Pull request #120 synchronize by hvanz
December 15, 2023 19:28 6m 24s mbt-consensus
mbt-consensus
December 15, 2023 19:28 6m 24s
test(mbt): MBT for round state machine Quint #196: Pull request #120 synchronize by hvanz
December 15, 2023 18:44 8m 1s mbt-consensus
mbt-consensus
December 15, 2023 18:44 8m 1s
test(mbt): MBT for round state machine Quint #195: Pull request #120 synchronize by romac
December 15, 2023 15:05 7m 51s mbt-consensus
mbt-consensus
December 15, 2023 15:05 7m 51s
test(mbt): MBT for round state machine Quint #194: Pull request #120 synchronize by romac
December 15, 2023 14:57 6m 59s mbt-consensus
mbt-consensus
December 15, 2023 14:57 6m 59s
test(mbt): MBT for round state machine Quint #193: Pull request #120 synchronize by romac
December 15, 2023 14:48 6m 16s mbt-consensus
mbt-consensus
December 15, 2023 14:48 6m 16s
test(mbt): MBT for round state machine Quint #192: Pull request #120 synchronize by romac
December 15, 2023 14:16 9m 13s mbt-consensus
mbt-consensus
December 15, 2023 14:16 9m 13s
test(mbt): MBT for round state machine Quint #191: Pull request #120 synchronize by hvanz
December 15, 2023 08:34 6m 15s mbt-consensus
mbt-consensus
December 15, 2023 08:34 6m 15s
test(mbt): MBT for round state machine Quint #190: Pull request #120 synchronize by hvanz
December 14, 2023 23:37 6m 19s mbt-consensus
mbt-consensus
December 14, 2023 23:37 6m 19s
test(mbt): MBT for round state machine Quint #189: Pull request #120 synchronize by hvanz
December 14, 2023 23:36 8m 20s mbt-consensus
mbt-consensus
December 14, 2023 23:36 8m 20s
test(mbt): MBT for round state machine Quint #188: Pull request #120 synchronize by hvanz
December 14, 2023 23:30 6m 26s mbt-consensus
mbt-consensus
December 14, 2023 23:30 6m 26s
test(mbt): MBT for round state machine Quint #187: Pull request #120 synchronize by hvanz
December 14, 2023 20:38 7m 31s mbt-consensus
mbt-consensus
December 14, 2023 20:38 7m 31s
spec: Refactor consensus and driver modules using sum types (#116) Quint #186: Commit 32498ca pushed by hvanz
December 14, 2023 15:00 6m 47s main
main
December 14, 2023 15:00 6m 47s
spec: Refactor consensus and driver modules using sum types Quint #185: Pull request #116 synchronize by hvanz
December 14, 2023 11:31 6m 23s hvanz/consensus-sum-types
hvanz/consensus-sum-types
December 14, 2023 11:31 6m 23s
readme for quint (#124) Quint #184: Commit 2faed8e pushed by josef-widder
December 14, 2023 10:48 5m 36s main
main
December 14, 2023 10:48 5m 36s