Skip to content

Auto merge of #138566 - yotamofek:pr/strip-prefix, r=nnethercote #56

Auto merge of #138566 - yotamofek:pr/strip-prefix, r=nnethercote

Auto merge of #138566 - yotamofek:pr/strip-prefix, r=nnethercote #56

Triggered via push March 17, 2025 10:42
Status Success
Total duration 2m 17s
Artifacts

post-merge.yml

on: push
Fit to window
Zoom out
Zoom in