Skip to content
build

tools: add diffedit3 as a dotslash tool #13394

Sign in to view logs

tools: add diffedit3 as a dotslash tool

tools: add diffedit3 as a dotslash tool #13394

Triggered via pull request August 16, 2024 21:11
@thoughtpolicethoughtpolice
opened #4295
aseipp/push-vzypxsolopto
Status Success
Total duration 8m 52s
Artifacts –

build.yml

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