Skip to content

Auto merge of #143247 - cjgillot:metadata-no-red, r=petrochenkov #679

Auto merge of #143247 - cjgillot:metadata-no-red, r=petrochenkov

Auto merge of #143247 - cjgillot:metadata-no-red, r=petrochenkov #679

Triggered via push July 4, 2025 13:23
Status Success
Total duration 2m 38s
Artifacts

post-merge.yml

on: push
Fit to window
Zoom out
Zoom in