Skip to content

Auto merge of #148374 - RalfJung:miri, r=<try> #181418

Auto merge of #148374 - RalfJung:miri, r=<try>

Auto merge of #148374 - RalfJung:miri, r=<try> #181418

Triggered via push November 2, 2025 07:01
Status Cancelled
Total duration 5m 35s
Artifacts

ci.yml

on: push
Calculate job matrix
33s
Calculate job matrix
Matrix: job
bors build finished
0s
bors build finished
Fit to window
Zoom out
Zoom in

Annotations

3 errors
try - armhf-gnu
The run was canceled by @rust-bors[bot].
try - armhf-gnu
The operation was canceled.
CI
The run was canceled by @rust-bors[bot].