Skip to content
build

switch builtin pager to streampager #17981

Sign in to view logs

switch builtin pager to streampager

switch builtin pager to streampager #17981

Triggered via pull request January 12, 2025 10:59
@yujayuja
synchronize #4203
yuja:push-vwqpwvoxokrt
Status Success
Total duration 10m 1s
Artifacts –

build.yml

on: pull_request
Build without Git support
1m 12s
Build without Git support
Check protos
39s
Check protos
Check formatting
19s
Check formatting
Run doctests
2m 32s
Run doctests
Check that MkDocs can build the docs
13s
Check that MkDocs can build the docs
Check that MkDocs can build the docs with latest Python and uv
12s
Check that MkDocs can build the docs with latest Python and uv
Clippy check
2m 54s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in