Skip to content

merge_tools: pass Matcher in for interactive use #6985

merge_tools: pass Matcher in for interactive use

merge_tools: pass Matcher in for interactive use #6985

Triggered via pull request September 20, 2023 18:54
Status Success
Total duration 13m 19s
Artifacts

build.yml

on: pull_request
Check protos
53s
Check protos
Check formatting
23s
Check formatting
Check that MkDocs can build the docs
26s
Check that MkDocs can build the docs
Clippy check
3m 47s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in