Skip to content
build

git: add --remote option to clone command #12

Sign in to view logs

git: add --remote option to clone command

git: add --remote option to clone command #12

Triggered via push September 12, 2024 20:37
@samueltardieusamueltardieu
pushed 691f087
git-clone-remote
Status Success
Total duration 11m 31s
Artifacts –

build.yml

on: push
Build jj-lib without Git support
42s
Build jj-lib without Git support
Check protos
48s
Check protos
Check formatting
13s
Check formatting
Check that MkDocs can build the docs
23s
Check that MkDocs can build the docs
Check that MkDocs can build the docs with Poetry 1.8
30s
Check that MkDocs can build the docs with Poetry 1.8
Clippy check
2m 30s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in