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

Run codespell on CI (#136) Rust #482: Commit 73a9900 pushed by romac
January 3, 2024 13:53 2m 24s main
main
January 3, 2024 13:53 2m 24s
Run codespell on CI Rust #481: Pull request #136 synchronize by romac
January 3, 2024 13:44 2m 19s codespell
codespell
January 3, 2024 13:44 2m 19s
Run codespell on CI Rust #480: Pull request #136 synchronize by romac
January 3, 2024 13:41 2m 26s codespell
codespell
January 3, 2024 13:41 2m 26s
test: Fix bug in MBT test where some steps were skipped Rust #479: Pull request #129 opened by romac
December 21, 2023 16:01 1m 19s romac/mbt-fix
romac/mbt-fix
December 21, 2023 16:01 1m 19s
Remove unnecessary use of async in the driver Rust #478: Commit 057c601 pushed by romac
December 19, 2023 13:57 3m 8s main
main
December 19, 2023 13:57 3m 8s
test(mbt): MBT for round state machine (#120) Rust #477: Commit 22fe845 pushed by romac
December 19, 2023 10:56 2m 32s main
main
December 19, 2023 10:56 2m 32s
docs: Add ADR for overall architecture, APIs, dependencies (#32) Rust #476: Commit 5db2ab0 pushed by ancazamfir
December 19, 2023 10:12 2m 2s main
main
December 19, 2023 10:12 2m 2s
test(mbt): MBT for round state machine Rust #475: Pull request #120 synchronize by romac
December 19, 2023 09:52 2m 12s mbt-consensus
mbt-consensus
December 19, 2023 09:52 2m 12s
test(mbt): MBT for round state machine Rust #474: Pull request #120 synchronize by romac
December 18, 2023 15:20 3m 3s mbt-consensus
mbt-consensus
December 18, 2023 15:20 3m 3s
test(mbt): MBT for round state machine Rust #473: Pull request #120 synchronize by romac
December 18, 2023 14:44 2m 57s mbt-consensus
mbt-consensus
December 18, 2023 14:44 2m 57s
test(mbt): MBT for round state machine Rust #472: Pull request #120 synchronize by romac
December 18, 2023 14:43 2m 28s mbt-consensus
mbt-consensus
December 18, 2023 14:43 2m 28s
Align code with spec to start in round nil instead of zero Rust #471: Pull request #125 synchronize by romac
December 18, 2023 14:38 2m 35s romac/nil-new-round
romac/nil-new-round
December 18, 2023 14:38 2m 35s
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