Skip to content

merge: remove Merge::take() which is no longer used #7733

merge: remove Merge::take() which is no longer used

merge: remove Merge::take() which is no longer used #7733

Triggered via push November 6, 2023 21:52
Status Success
Total duration 11m 4s
Artifacts

build.yml

on: push
Check protos
32s
Check protos
Check formatting
22s
Check formatting
Check that MkDocs can build the docs
31s
Check that MkDocs can build the docs
Clippy check
2m 12s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in