Skip to content

External merge tools: better error message for unsupported usage #10865

External merge tools: better error message for unsupported usage

External merge tools: better error message for unsupported usage #10865

Triggered via pull request May 5, 2024 05:16
Status Success
Total duration 7m 32s
Artifacts

build.yml

on: pull_request
Check protos
33s
Check protos
Check formatting
14s
Check formatting
Check that MkDocs can build the docs
27s
Check that MkDocs can build the docs
Check that MkDocs can build the docs with Poetry 1.3.2
36s
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