Skip to content
build

git: use merged parent tree for git index #17331

Sign in to view logs

git: use merged parent tree for git index

git: use merged parent tree for git index #17331

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build jj-lib without Git support
45s
build (ubuntu-latest)
5m 8s
build (macos-13)
6m 16s
Check protos
29s
build (macos-14)
5m 0s
cargo-deny (advisories)
25s
build (windows-latest)
9m 39s
Clippy check
2m 37s
cargo-deny (bans licenses sources)
22s
build (ubuntu-latest, --all-features)
5m 56s
Check that MkDocs can build the docs
12s
Check that MkDocs can build the docs with latest Python and uv
15s
Check formatting
18s
37m 22s