Skip to content

cli git push: clearer user-facing messages #11390

cli git push: clearer user-facing messages

cli git push: clearer user-facing messages #11390

Triggered via pull request May 27, 2024 03:40
Status Success
Total duration 9m 25s
Artifacts

build.yml

on: pull_request
Check protos
22s
Check protos
Check formatting
13s
Check formatting
Check that MkDocs can build the docs
27s
Check that MkDocs can build the docs
Check that MkDocs can build the docs with Poetry 1.3.2
33s
Check that MkDocs can build the docs with Poetry 1.3.2
Clippy check
2m 24s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in