Skip to content

cli: hint for conflicted branches and change ids #7000

cli: hint for conflicted branches and change ids

cli: hint for conflicted branches and change ids #7000

Triggered via pull request September 22, 2023 01:35
Status Success
Total duration 10m 34s
Artifacts

build.yml

on: pull_request
Check protos
1m 8s
Check protos
Check formatting
20s
Check formatting
Check that MkDocs can build the docs
23s
Check that MkDocs can build the docs
Clippy check
3m 5s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in