Skip to content

Actions: informalsystems/malachite

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
572 workflow run results
572 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tests: MBT for votekeeper Rust #221: Pull request #63 synchronize by rnbguy
November 16, 2023 12:21 1m 20s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 16, 2023 12:21 1m 20s
tests: MBT for votekeeper Coverage #224: Pull request #63 synchronize by rnbguy
November 16, 2023 12:21 1m 13s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 16, 2023 12:21 1m 13s
tests: MBT for votekeeper Quint #52: Pull request #63 synchronize by rnbguy
November 16, 2023 12:17 1m 56s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 16, 2023 12:17 1m 56s
tests: MBT for votekeeper Rust #220: Pull request #63 synchronize by rnbguy
November 16, 2023 12:17 1m 38s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 16, 2023 12:17 1m 38s
tests: MBT for votekeeper Coverage #223: Pull request #63 synchronize by rnbguy
November 16, 2023 12:17 2m 51s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 16, 2023 12:17 2m 51s
tests: MBT for votekeeper Quint #51: Pull request #63 synchronize by rnbguy
November 16, 2023 12:01 1m 38s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 16, 2023 12:01 1m 38s
tests: MBT for votekeeper Coverage #222: Pull request #63 synchronize by rnbguy
November 16, 2023 12:01 1m 30s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 16, 2023 12:01 1m 30s
tests: MBT for votekeeper Rust #219: Pull request #63 synchronize by rnbguy
November 16, 2023 12:01 1m 11s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 16, 2023 12:01 1m 11s
tests: MBT for votekeeper Quint #50: Pull request #63 synchronize by rnbguy
November 16, 2023 11:53 1m 57s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 16, 2023 11:53 1m 57s
tests: MBT for votekeeper Rust #218: Pull request #63 synchronize by rnbguy
November 16, 2023 11:53 1m 10s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 16, 2023 11:53 1m 10s
tests: MBT for votekeeper Coverage #221: Pull request #63 synchronize by rnbguy
November 16, 2023 11:53 1m 33s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 16, 2023 11:53 1m 33s
tests: MBT for votekeeper Rust #217: Pull request #63 synchronize by rnbguy
November 16, 2023 11:51 1m 8s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 16, 2023 11:51 1m 8s
tests: MBT for votekeeper Coverage #220: Pull request #63 synchronize by rnbguy
November 16, 2023 11:51 1m 20s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 16, 2023 11:51 1m 20s
tests: MBT for votekeeper Quint #49: Pull request #63 synchronize by rnbguy
November 16, 2023 11:51 1m 35s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 16, 2023 11:51 1m 35s
feat(driver): Turn get_value into an asynchronous step within the state machine Rust #216: Pull request #65 synchronize by romac
November 16, 2023 08:25 56s async-get-value-new-event
async-get-value-new-event
November 16, 2023 08:25 56s
feat(driver): Turn get_value into an asynchronous step within the state machine Coverage #219: Pull request #65 synchronize by romac
November 16, 2023 08:25 2m 55s async-get-value-new-event
async-get-value-new-event
November 16, 2023 08:25 2m 55s
tests: MBT for votekeeper Quint #48: Pull request #63 synchronize by hvanz
November 15, 2023 22:36 1m 32s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 15, 2023 22:36 1m 32s
tests: MBT for votekeeper Rust #215: Pull request #63 synchronize by hvanz
November 15, 2023 22:36 57s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 15, 2023 22:36 57s
tests: MBT for votekeeper Coverage #218: Pull request #63 synchronize by hvanz
November 15, 2023 22:36 56s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 15, 2023 22:36 56s
feat(driver): Simplify code to keep only one round state Rust #214: Pull request #71 synchronize by romac
November 15, 2023 15:42 1m 1s anca/one_round_state
anca/one_round_state
November 15, 2023 15:42 1m 1s
feat(driver): Simplify code to keep only one round state Coverage #217: Pull request #71 synchronize by romac
November 15, 2023 15:42 1m 18s anca/one_round_state
anca/one_round_state
November 15, 2023 15:42 1m 18s
feat(driver): Simplify code to keep only one round state Rust #213: Pull request #71 synchronize by romac
November 15, 2023 15:42 49s anca/one_round_state
anca/one_round_state
November 15, 2023 15:42 49s
feat(driver): Simplify code to keep only one round state Coverage #216: Pull request #71 synchronize by romac
November 15, 2023 15:42 1m 13s anca/one_round_state
anca/one_round_state
November 15, 2023 15:42 1m 13s
Add height to votes and update tests (#67) Rust #212: Commit 8654e59 pushed by romac
November 15, 2023 15:34 58s main
main
November 15, 2023 15:34 58s
Add height to votes and update tests (#67) Coverage #215: Commit 8654e59 pushed by romac
November 15, 2023 15:34 1m 15s main
main
November 15, 2023 15:34 1m 15s