Skip to content

conflcts.rs: label conflict markers with conflict #, side #, whether it's a side or a diff #10309

conflcts.rs: label conflict markers with conflict #, side #, whether it's a side or a diff

conflcts.rs: label conflict markers with conflict #, side #, whether it's a side or a diff #10309

Triggered via pull request April 5, 2024 06:35
Status Success
Total duration 7m 42s
Artifacts

build.yml

on: pull_request
Check protos
28s
Check protos
Check formatting
12s
Check formatting
Check that MkDocs can build the docs
21s
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 29s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in