Skip to content
build

built-in pager: write a message to the user if pager doesn't start #12953

Sign in to view logs

built-in pager: write a message to the user if pager doesn't start

built-in pager: write a message to the user if pager doesn't start #12953

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-latest)
4m 22s
build (macos-14)
3m 10s
build (windows-latest)
9m 21s
build (ubuntu-latest, --all-features)
5m 19s
Build jj-lib without Git support
42s
cargo-deny (advisories)
24s
cargo-deny (bans licenses sources)
22s
Check protos
31s
Clippy check
6m 18s
Check that MkDocs can build the docs
29s
Check that MkDocs can build the docs with Poetry 1.8
22s
Check formatting
13s
31m 33s