Skip to content

merge queue: embarking main (6dbfe92) and [#1467 + #1466] together #3878

merge queue: embarking main (6dbfe92) and [#1467 + #1466] together

merge queue: embarking main (6dbfe92) and [#1467 + #1466] together #3878

Triggered via pull request December 4, 2025 13:22
Status Success
Total duration 12s
Artifacts

coprocessor-cargo-clippy.yml

on: pull_request
coprocessor-cargo-clippy/check-changes
6s
coprocessor-cargo-clippy/check-changes
coprocessor-cargo-clippy/cargo-clippy
0s
coprocessor-cargo-clippy/cargo-clippy
Fit to window
Zoom out
Zoom in