Skip to content

Actions: informalsystems/malachite

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
482 workflow run results
482 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
code: Remove signing and signature verification from the driver Rust #445: Pull request #121 synchronize by romac
December 14, 2023 10:00 2m 18s romac/move-signing
romac/move-signing
December 14, 2023 10:00 2m 18s
test(mbt): MBT for round state machine Rust #444: Pull request #120 synchronize by hvanz
December 13, 2023 20:51 1m 9s mbt-consensus
mbt-consensus
December 13, 2023 20:51 1m 9s
fix height in fmt (#123) Rust #443: Commit e010cb1 pushed by romac
December 13, 2023 20:40 2m 20s main
main
December 13, 2023 20:40 2m 20s
Fix round state's debug message Rust #442: Pull request #123 opened by hvanz
December 13, 2023 19:52 2m 20s hvanz/fix-round-state-debug
hvanz/fix-round-state-debug
December 13, 2023 19:52 2m 20s
test(mbt): MBT for round state machine Rust #441: Pull request #120 synchronize by hvanz
December 13, 2023 19:33 2m 51s mbt-consensus
mbt-consensus
December 13, 2023 19:33 2m 51s
test(mbt): MBT for round state machine Rust #440: Pull request #120 synchronize by hvanz
December 13, 2023 16:09 3m 35s mbt-consensus
mbt-consensus
December 13, 2023 16:09 3m 35s
test(mbt): MBT for round state machine Rust #439: Pull request #120 synchronize by hvanz
December 13, 2023 13:32 2m 17s mbt-consensus
mbt-consensus
December 13, 2023 13:32 2m 17s
test(mbt): MBT for round state machine Rust #438: Pull request #120 synchronize by hvanz
December 13, 2023 13:06 2m 25s mbt-consensus
mbt-consensus
December 13, 2023 13:06 2m 25s
test(mbt): MBT for round state machine Rust #437: Pull request #120 synchronize by hvanz
December 13, 2023 13:02 2m 19s mbt-consensus
mbt-consensus
December 13, 2023 13:02 2m 19s
code: Remove signing and signature verification from the driver Rust #436: Pull request #121 opened by romac
December 13, 2023 11:22 2m 19s romac/move-signing
romac/move-signing
December 13, 2023 11:22 2m 19s
spec: Refactor consensus and driver modules using sum types Rust #435: Pull request #116 synchronize by hvanz
December 13, 2023 11:21 2m 35s hvanz/consensus-sum-types
hvanz/consensus-sum-types
December 13, 2023 11:21 2m 35s
test(mbt): MBT for round state machine Rust #434: Pull request #120 opened by hvanz
December 13, 2023 10:23 4m 15s mbt-consensus
mbt-consensus
December 13, 2023 10:23 4m 15s
spec: Refactor consensus and driver modules using sum types Rust #433: Pull request #116 synchronize by hvanz
December 13, 2023 10:03 2m 24s hvanz/consensus-sum-types
hvanz/consensus-sum-types
December 13, 2023 10:03 2m 24s