Skip to content
Back to pull request #4496

WIP: docs/design: Topics #14874

Sign in to view logs

WIP: docs/design: Topics

WIP: docs/design: Topics #14874

Triggered via pull request October 12, 2024 21:24
@PhilipMetzgerPhilipMetzger
synchronize #4496
push-yuslknovtlto
Status Success
Total duration 10m 53s
Artifacts –

build.yml

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