Skip to content
Back to pull request #4295

tools: add diffedit3 as a dotslash tool #13396

Sign in to view logs

tools: add diffedit3 as a dotslash tool

tools: add diffedit3 as a dotslash tool #13396

Triggered via pull request August 16, 2024 21:14
@thoughtpolicethoughtpolice
synchronize #4295
aseipp/push-vzypxsolopto
Status Success
Total duration 9m 38s
Artifacts –

build.yml

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