Skip to content
build

git: update jj git clone|fetch to use new GitFetch api directly. #18423

Sign in to view logs

git: update jj git clone|fetch to use new GitFetch api directly.

git: update jj git clone|fetch to use new GitFetch api directly. #18423

Triggered via pull request January 25, 2025 04:27
@bsdinisbsdinis
synchronize #5444
bsdinis/push-urozxlpwnrmp
Status Success
Total duration 10m 52s
Artifacts –

build.yml

on: pull_request
Build without Git support
1m 11s
Build without Git support
Check protos
30s
Check protos
Check formatting
17s
Check formatting
Run doctests
2m 33s
Run doctests
Check that MkDocs can build the docs
13s
Check that MkDocs can build the docs
Check that MkDocs can build the docs with latest Python and uv
11s
Check that MkDocs can build the docs with latest Python and uv
Clippy check
2m 40s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in