Skip to content

Auto merge of #3950 - RalfJung:handle_unsupported_foreign_item, r=Ral… #9067

Auto merge of #3950 - RalfJung:handle_unsupported_foreign_item, r=Ral…

Auto merge of #3950 - RalfJung:handle_unsupported_foreign_item, r=Ral… #9067

Triggered via push October 10, 2024 17:17
Status Success
Total duration 24m 51s
Artifacts

ci.yml

on: push
Matrix: build
bors build finished
0s
bors build finished
bors build finished
0s
bors build finished
cronjob failure notification
0s
cronjob failure notification
Fit to window
Zoom out
Zoom in