Skip to content

Actions: informalsystems/malachite

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
570 workflow run results
570 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Align code with spec to start in round nil instead of zero Rust #470: Pull request #125 opened by romac
December 18, 2023 13:55 2m 19s romac/nil-new-round
romac/nil-new-round
December 18, 2023 13:55 2m 19s
test(mbt): MBT for round state machine Rust #469: Pull request #120 synchronize by romac
December 18, 2023 13:55 2m 9s mbt-consensus
mbt-consensus
December 18, 2023 13:55 2m 9s
docs: Add ADR for overall architecture, APIs, dependencies Rust #468: Pull request #32 synchronize by ancazamfir
December 18, 2023 13:53 2m 44s anca/adr-overall-architecture
anca/adr-overall-architecture
December 18, 2023 13:53 2m 44s
test(mbt): MBT for round state machine Rust #467: Pull request #120 synchronize by romac
December 18, 2023 13:52 2m 23s mbt-consensus
mbt-consensus
December 18, 2023 13:52 2m 23s
docs: Add ADR for overall architecture, APIs, dependencies Rust #466: Pull request #32 synchronize by romac
December 18, 2023 13:16 2m 23s anca/adr-overall-architecture
anca/adr-overall-architecture
December 18, 2023 13:16 2m 23s
docs: Add ADR for overall architecture, APIs, dependencies Rust #465: Pull request #32 synchronize by romac
December 18, 2023 11:18 2m 14s anca/adr-overall-architecture
anca/adr-overall-architecture
December 18, 2023 11:18 2m 14s
code: Remove signing and signature verification from the driver (#121) Rust #464: Commit 5d0577f pushed by romac
December 18, 2023 10:51 2m 19s main
main
December 18, 2023 10:51 2m 19s
test(mbt): MBT for round state machine Rust #463: Pull request #120 synchronize by hvanz
December 15, 2023 19:28 2m 39s mbt-consensus
mbt-consensus
December 15, 2023 19:28 2m 39s
test(mbt): MBT for round state machine Rust #462: Pull request #120 synchronize by hvanz
December 15, 2023 18:44 2m 54s mbt-consensus
mbt-consensus
December 15, 2023 18:44 2m 54s
test(mbt): MBT for round state machine Rust #461: Pull request #120 synchronize by romac
December 15, 2023 15:05 2m 25s mbt-consensus
mbt-consensus
December 15, 2023 15:05 2m 25s
test(mbt): MBT for round state machine Rust #460: Pull request #120 synchronize by romac
December 15, 2023 14:57 2m 22s mbt-consensus
mbt-consensus
December 15, 2023 14:57 2m 22s
test(mbt): MBT for round state machine Rust #459: Pull request #120 synchronize by romac
December 15, 2023 14:48 2m 20s mbt-consensus
mbt-consensus
December 15, 2023 14:48 2m 20s
test(mbt): MBT for round state machine Rust #458: Pull request #120 synchronize by romac
December 15, 2023 14:16 2m 45s mbt-consensus
mbt-consensus
December 15, 2023 14:16 2m 45s
docs: Add ADR for overall architecture, APIs, dependencies Rust #457: Pull request #32 synchronize by ancazamfir
December 15, 2023 12:59 2m 3s anca/adr-overall-architecture
anca/adr-overall-architecture
December 15, 2023 12:59 2m 3s
docs: Add ADR for overall architecture, APIs, dependencies Rust #456: Pull request #32 synchronize by ancazamfir
December 15, 2023 10:59 2m 55s anca/adr-overall-architecture
anca/adr-overall-architecture
December 15, 2023 10:59 2m 55s
test(mbt): MBT for round state machine Rust #455: Pull request #120 synchronize by hvanz
December 15, 2023 08:34 2m 51s mbt-consensus
mbt-consensus
December 15, 2023 08:34 2m 51s
test(mbt): MBT for round state machine Rust #454: Pull request #120 synchronize by hvanz
December 14, 2023 23:37 3m 3s mbt-consensus
mbt-consensus
December 14, 2023 23:37 3m 3s
test(mbt): MBT for round state machine Rust #453: Pull request #120 synchronize by hvanz
December 14, 2023 23:36 2m 25s mbt-consensus
mbt-consensus
December 14, 2023 23:36 2m 25s
test(mbt): MBT for round state machine Rust #452: Pull request #120 synchronize by hvanz
December 14, 2023 23:30 2m 12s mbt-consensus
mbt-consensus
December 14, 2023 23:30 2m 12s
test(mbt): MBT for round state machine Rust #451: Pull request #120 synchronize by hvanz
December 14, 2023 20:38 1m 1s mbt-consensus
mbt-consensus
December 14, 2023 20:38 1m 1s
spec: Refactor consensus and driver modules using sum types (#116) Rust #450: Commit 32498ca pushed by hvanz
December 14, 2023 15:00 2m 56s main
main
December 14, 2023 15:00 2m 56s
spec: Refactor consensus and driver modules using sum types Rust #449: Pull request #116 synchronize by hvanz
December 14, 2023 11:31 2m 52s hvanz/consensus-sum-types
hvanz/consensus-sum-types
December 14, 2023 11:31 2m 52s
readme for quint (#124) Rust #448: Commit 2faed8e pushed by josef-widder
December 14, 2023 10:48 2m 18s main
main
December 14, 2023 10:48 2m 18s
readme for quint Rust #447: Pull request #124 synchronize by josef-widder
December 14, 2023 10:39 3m 17s josef/quintreadme
josef/quintreadme
December 14, 2023 10:39 3m 17s
readme for quint Rust #446: Pull request #124 opened by josef-widder
December 14, 2023 10:37 2m 35s josef/quintreadme
josef/quintreadme
December 14, 2023 10:37 2m 35s