Skip to content
build

tools: initialize useful dotslash tools #13388

Sign in to view logs

tools: initialize useful dotslash tools

tools: initialize useful dotslash tools #13388

Triggered via push August 16, 2024 20:02
@thoughtpolicethoughtpolice
pushed 384d5a2
aseipp/push-vzypxsolopto
Status Success
Total duration 46m 32s
Artifacts –

build.yml

on: push
Build jj-lib without Git support
44s
Build jj-lib without Git support
Check protos
36s
Check protos
Check formatting
15s
Check formatting
Check that MkDocs can build the docs
22s
Check that MkDocs can build the docs
Check that MkDocs can build the docs with Poetry 1.8
20s
Check that MkDocs can build the docs with Poetry 1.8
Clippy check
2m 30s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in