Skip to content
build

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

Sign in to view logs

git: add --remote option to clone command

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

Triggered via push September 12, 2024 20:22
@samueltardieusamueltardieu
pushed cbf1212
git-clone-remote
Status Success
Total duration 9m 50s
Artifacts –

build.yml

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