Skip to content

cli: Display messages from remote after jj git push #9639

cli: Display messages from remote after jj git push

cli: Display messages from remote after jj git push #9639

Triggered via pull request March 7, 2024 06:46
Status Success
Total duration 8m 2s
Artifacts

build.yml

on: pull_request
Check protos
36s
Check protos
Check formatting
16s
Check formatting
Check that MkDocs can build the docs
25s
Check that MkDocs can build the docs
Check that MkDocs can build the docs with Poetry 1.3.2
39s
Check that MkDocs can build the docs with Poetry 1.3.2
Clippy check
2m 17s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in