Skip to content
build

cli: git push: convert local Git remote path to slash-separated path #225

Sign in to view logs

cli: git push: convert local Git remote path to slash-separated path

cli: git push: convert local Git remote path to slash-separated path #225

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Check protos
31s
cargo-deny (advisories)
28s
build (ubuntu-latest)
2m 35s
cargo-deny (bans licenses sources)
26s
build (macos-13)
2m 47s
Build jj-lib without Git support
44s
build (macos-14)
2m 46s
Clippy check
2m 35s
build (windows-latest)
2m 30s
Check that MkDocs can build the docs
9s
build (ubuntu-latest, --all-features)
2m 47s
Check that MkDocs can build the docs with latest Python and uv
10s
Check formatting
17s
18m 45s