Skip to content

config.md: advertise diffedit3 as an alternative to meld-3 diff editor #10882

config.md: advertise diffedit3 as an alternative to meld-3 diff editor

config.md: advertise diffedit3 as an alternative to meld-3 diff editor #10882

Triggered via pull request May 6, 2024 03:03
Status Success
Total duration 8m 27s
Artifacts

build.yml

on: pull_request
Check protos
40s
Check protos
Check formatting
18s
Check formatting
Check that MkDocs can build the docs
25s
Check that MkDocs can build the docs
Check that MkDocs can build the docs with Poetry 1.3.2
34s
Check that MkDocs can build the docs with Poetry 1.3.2
Clippy check
2m 31s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in