Skip to content
build

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

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 #12949

Triggered via pull request August 3, 2024 03:15
@ilyagrilyagr
synchronize #4197
ilyagr:pagermessage
Status Success
Total duration 8m 21s
Artifacts –

build.yml

on: pull_request
Build jj-lib without Git support
47s
Build jj-lib without Git support
Check protos
35s
Check protos
Check formatting
19s
Check formatting
Check that MkDocs can build the docs
21s
Check that MkDocs can build the docs
Check that MkDocs can build the docs with Poetry 1.8
28s
Check that MkDocs can build the docs with Poetry 1.8
Clippy check
2m 36s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in