Skip to content
build

Add private-commits setting to prevent commits from being pushed #12738

Sign in to view logs

Add private-commits setting to prevent commits from being pushed

Add private-commits setting to prevent commits from being pushed #12738

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build jj-lib without Git support
42s
Check protos
27s
cargo-deny (advisories)
23s
build (ubuntu-latest)
4m 21s
Clippy check
2m 35s
build (macos-14)
3m 30s
cargo-deny (bans licenses sources)
26s
Check that MkDocs can build the docs
27s
build (windows-latest)
8m 22s
Check that MkDocs can build the docs with Poetry 1.8
21s
build (ubuntu-latest, --all-features)
5m 32s
Check formatting
17s
27m 23s