Skip to content

Actions: informalsystems/malachite

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
482 workflow run results
482 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

code: Add multiplexer
Rust #357: Pull request #106 synchronize by romac
December 6, 2023 15:03 2m 14s romac/mixer
December 6, 2023 15:03 2m 14s
code: Add multiplexer
Rust #356: Pull request #106 opened by romac
December 6, 2023 14:49 2m 21s romac/mixer
December 6, 2023 14:49 2m 21s
test: Add tests (all failing) for polka occuring in propose step
Rust #355: Pull request #105 synchronize by romac
December 6, 2023 14:25 2m 38s anca/mixer-tests
December 6, 2023 14:25 2m 38s
Manually derive impls on round Input to avoid inferred bounds on Ctx
Rust #354: Commit 20b4ef3 pushed by romac
December 6, 2023 14:24 2m 32s main
December 6, 2023 14:24 2m 32s
spec: adding step change
Rust #353: Pull request #104 synchronize by josef-widder
December 6, 2023 11:59 1m 40s josef/addStepInput
December 6, 2023 11:59 1m 40s
test: Add tests (all failing) for polka occuring in propose step
Rust #352: Pull request #105 synchronize by romac
December 6, 2023 11:47 2m 45s anca/mixer-tests
December 6, 2023 11:47 2m 45s
test: Add tests (all failing) for polka occuring in propose step
Rust #351: Pull request #105 synchronize by romac
December 6, 2023 11:35 2m 13s anca/mixer-tests
December 6, 2023 11:35 2m 13s
feat: Store all received proposals (#91)
Rust #350: Commit 5ee3079 pushed by romac
December 6, 2023 11:35 3m 55s main
December 6, 2023 11:35 3m 55s
feat: Store all received proposals
Rust #349: Pull request #91 synchronize by romac
December 6, 2023 11:32 1m 51s romac/driver-proposals
December 6, 2023 11:32 1m 51s
test: Add tests (all failing) for polka occuring in propose step
Rust #348: Pull request #105 opened by romac
December 6, 2023 11:28 2m 4s anca/mixer-tests
December 6, 2023 11:28 2m 4s
Add some tests related to driver proposals storage
Rust #347: Pull request #100 synchronize by romac
December 6, 2023 11:26 2m 19s anca/driver-proposals-tests
December 6, 2023 11:26 2m 19s
spec: adding step change
Rust #346: Pull request #104 opened by josef-widder
December 6, 2023 11:08 1m 47s josef/addStepInput
December 6, 2023 11:08 1m 47s
test(spec): A problematic run
Rust #345: Pull request #101 synchronize by josef-widder
December 6, 2023 10:04 1m 47s josef/i95-testcases
December 6, 2023 10:04 1m 47s
Add some tests related to driver proposals storage
Rust #344: Pull request #100 synchronize by ancazamfir
December 5, 2023 21:53 1m 48s anca/driver-proposals-tests
December 5, 2023 21:53 1m 48s
Add some tests related to driver proposals storage
Rust #343: Pull request #100 synchronize by ancazamfir
December 5, 2023 21:14 2m 16s anca/driver-proposals-tests
December 5, 2023 21:14 2m 16s
Only enable assert in debug mode
Rust #342: Commit f2840ab pushed by romac
December 5, 2023 16:03 2m 10s main
December 5, 2023 16:03 2m 10s
test(spec): A problematic run
Rust #341: Pull request #101 synchronize by josef-widder
December 5, 2023 12:31 2m 6s josef/i95-testcases
December 5, 2023 12:31 2m 6s
test(mbt): MBT tests for driver
Rust #340: Pull request #102 synchronize by romac
December 5, 2023 08:42 1m 20s romac/mbt-driver
December 5, 2023 08:42 1m 20s
test(mbt): MBT tests for driver
Rust #339: Pull request #102 opened by romac
December 4, 2023 20:51 2m 12s romac/mbt-driver
December 4, 2023 20:51 2m 12s
test(spec): A problematic run
Rust #338: Pull request #101 opened by josef-widder
December 4, 2023 18:06 1m 43s josef/i95-testcases
December 4, 2023 18:06 1m 43s
code: Round state machine cleanup
Rust #336: Pull request #99 opened by romac
December 4, 2023 14:31 2m 29s romac/round-review
December 4, 2023 14:31 2m 29s
feat: Store all received proposals
Rust #335: Pull request #91 synchronize by romac
December 4, 2023 09:23 2m 13s romac/driver-proposals
December 4, 2023 09:23 2m 13s
Add cargo integration alias
Rust #333: Commit a73929e pushed by romac
December 1, 2023 15:54 1m 47s main
December 1, 2023 15:54 1m 47s