Skip to content

Actions: informalsystems/malachite

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: Add ADR for overall architecture, APIs, dependencies Rust #175: Pull request #32 synchronize by romac
November 10, 2023 16:22 36s anca/adr-overall-architecture
anca/adr-overall-architecture
November 10, 2023 16:22 36s
docs: Add ADR for overall architecture, APIs, dependencies Coverage #178: Pull request #32 synchronize by romac
November 10, 2023 16:22 1m 6s anca/adr-overall-architecture
anca/adr-overall-architecture
November 10, 2023 16:22 1m 6s
docs: Add ADR for overall architecture, APIs, dependencies Rust #174: Pull request #32 synchronize by romac
November 10, 2023 16:17 59s anca/adr-overall-architecture
anca/adr-overall-architecture
November 10, 2023 16:17 59s
docs: Add ADR for overall architecture, APIs, dependencies Coverage #177: Pull request #32 synchronize by romac
November 10, 2023 16:17 1m 1s anca/adr-overall-architecture
anca/adr-overall-architecture
November 10, 2023 16:17 1m 1s
Remove private key from Driver, use its address directly to check i… Coverage #176: Commit b2d63ed pushed by romac
November 10, 2023 16:08 54s main
main
November 10, 2023 16:08 54s
Remove private key from Driver, use its address directly to check i… Rust #173: Commit b2d63ed pushed by romac
November 10, 2023 16:08 1m 54s main
main
November 10, 2023 16:08 1m 54s
Remove private key from Driver, use its address directly to check if proposer Coverage #175: Pull request #61 synchronize by romac
November 10, 2023 16:01 1m 2s romac/driver-remove-private-key
romac/driver-remove-private-key
November 10, 2023 16:01 1m 2s
Remove private key from Driver, use its address directly to check if proposer Rust #172: Pull request #61 synchronize by romac
November 10, 2023 16:01 53s romac/driver-remove-private-key
romac/driver-remove-private-key
November 10, 2023 16:01 53s
Rename Client to Env (#60) Rust #171: Commit f0b9d2f pushed by romac
November 10, 2023 15:59 40s main
main
November 10, 2023 15:59 40s
Rename Client to Env (#60) Coverage #174: Commit f0b9d2f pushed by romac
November 10, 2023 15:59 1m 0s main
main
November 10, 2023 15:59 1m 0s
Rename Client to Env Rust #170: Pull request #60 opened by romac
November 10, 2023 15:54 51s romac/client-to-env
romac/client-to-env
November 10, 2023 15:54 51s
Rename Client to Env Coverage #173: Pull request #60 opened by romac
November 10, 2023 15:54 1m 8s romac/client-to-env
romac/client-to-env
November 10, 2023 15:54 1m 8s
docs: Add ADR for overall architecture, APIs, dependencies Rust #169: Pull request #32 synchronize by ancazamfir
November 10, 2023 14:50 49s anca/adr-overall-architecture
anca/adr-overall-architecture
November 10, 2023 14:50 49s
docs: Add ADR for overall architecture, APIs, dependencies Coverage #172: Pull request #32 synchronize by ancazamfir
November 10, 2023 14:50 1m 12s anca/adr-overall-architecture
anca/adr-overall-architecture
November 10, 2023 14:50 1m 12s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Quint #19: Pull request #18 synchronize by romac
November 10, 2023 14:15 26s romac/itf
romac/itf
November 10, 2023 14:15 26s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Rust #168: Pull request #18 synchronize by romac
November 10, 2023 14:15 59s romac/itf
romac/itf
November 10, 2023 14:15 59s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Coverage #171: Pull request #18 synchronize by romac
November 10, 2023 14:15 1m 16s romac/itf
romac/itf
November 10, 2023 14:15 1m 16s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Rust #167: Pull request #18 synchronize by romac
November 10, 2023 13:35 58s romac/itf
romac/itf
November 10, 2023 13:35 58s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Coverage #170: Pull request #18 synchronize by romac
November 10, 2023 13:35 1m 6s romac/itf
romac/itf
November 10, 2023 13:35 1m 6s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Quint #18: Pull request #18 synchronize by romac
November 10, 2023 13:35 29s romac/itf
romac/itf
November 10, 2023 13:35 29s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Quint #17: Pull request #18 synchronize by romac
November 10, 2023 13:34 30s romac/itf
romac/itf
November 10, 2023 13:34 30s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Rust #166: Pull request #18 synchronize by romac
November 10, 2023 13:34 55s romac/itf
romac/itf
November 10, 2023 13:34 55s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Coverage #169: Pull request #18 synchronize by romac
November 10, 2023 13:34 1m 9s romac/itf
romac/itf
November 10, 2023 13:34 1m 9s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Quint #16: Pull request #18 synchronize by romac
November 10, 2023 12:45 34s romac/itf
romac/itf
November 10, 2023 12:45 34s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Rust #165: Pull request #18 synchronize by romac
November 10, 2023 12:45 46s romac/itf
romac/itf
November 10, 2023 12:45 46s