Skip to content

conflicts.rs: label conflict number and sides next to conflict markers #10876

conflicts.rs: label conflict number and sides next to conflict markers

conflicts.rs: label conflict number and sides next to conflict markers #10876

Triggered via push May 6, 2024 01:42
Status Success
Total duration 7m 52s
Artifacts

build.yml

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