Skip to content

Auto merge of #147614 - cjgillot:dest-prop-place, r=<try> #179095

Auto merge of #147614 - cjgillot:dest-prop-place, r=<try>

Auto merge of #147614 - cjgillot:dest-prop-place, r=<try> #179095

Triggered via push October 12, 2025 23:04
Status Success
Total duration 2h 11m 32s
Artifacts

ci.yml

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

Annotations

2 warnings
try - dist-x86_64-linux
Saved space is negative: -96. Using '0' as saved space.
try - dist-x86_64-linux
Saved space is negative: -32. Using '0' as saved space.