Skip to content
build

tools: initialize useful dotslash tools #13392

Sign in to view logs

tools: initialize useful dotslash tools

tools: initialize useful dotslash tools #13392

Triggered via push August 16, 2024 20:59
@thoughtpolicethoughtpolice
pushed 0b8ef2b
aseipp/push-vzypxsolopto
Status Success
Total duration 8m 17s
Artifacts –

build.yml

on: push
Build jj-lib without Git support
45s
Build jj-lib without Git support
Check protos
37s
Check protos
Check formatting
16s
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
21s
Check that MkDocs can build the docs with Poetry 1.8
Clippy check
2m 31s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in