Skip to content

Actions: informalsystems/malachite

Actions

Quint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
quint.yml
756 workflow runs
756 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

test(mbt): MBT for round state machine Quint #177: Pull request #120 synchronize by hvanz
December 13, 2023 13:06 8m 45s mbt-consensus
mbt-consensus
December 13, 2023 13:06 8m 45s
test(mbt): MBT for round state machine Quint #176: Pull request #120 synchronize by hvanz
December 13, 2023 13:02 6m 21s mbt-consensus
mbt-consensus
December 13, 2023 13:02 6m 21s
spec: Refactor consensus and driver modules using sum types Quint #175: Pull request #116 synchronize by hvanz
December 13, 2023 11:21 9m 19s hvanz/consensus-sum-types
hvanz/consensus-sum-types
December 13, 2023 11:21 9m 19s
test(mbt): MBT for round state machine Quint #174: Pull request #120 opened by hvanz
December 13, 2023 10:23 6m 25s mbt-consensus
mbt-consensus
December 13, 2023 10:23 6m 25s
spec: Refactor consensus and driver modules using sum types Quint #173: Pull request #116 synchronize by hvanz
December 13, 2023 10:03 8m 26s hvanz/consensus-sum-types
hvanz/consensus-sum-types
December 13, 2023 10:03 8m 26s
spec: Refactor consensus and driver modules using sum types Quint #172: Pull request #116 synchronize by hvanz
December 13, 2023 08:31 6m 28s hvanz/consensus-sum-types
hvanz/consensus-sum-types
December 13, 2023 08:31 6m 28s
ProTip! You can narrow down the results and go further in time using created:<2023-12-13 or the other filters available.