Skip to content

merge tools: split DiffEditWorkingCopies from DiffWorkingCopies #9820

merge tools: split DiffEditWorkingCopies from DiffWorkingCopies

merge tools: split DiffEditWorkingCopies from DiffWorkingCopies #9820

Triggered via pull request March 16, 2024 04:23
@ilyagrilyagr
synchronize #3306
ilyagr:dewc
Status Success
Total duration 7m 43s
Artifacts

build.yml

on: pull_request
Check protos
25s
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.3.2
31s
Check that MkDocs can build the docs with Poetry 1.3.2
Clippy check
2m 28s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in