Skip to content

Auto merge of #11122 - Nilstrieb:SUBSTITUTION-INITIATED, r=flip1995 #8132

Auto merge of #11122 - Nilstrieb:SUBSTITUTION-INITIATED, r=flip1995

Auto merge of #11122 - Nilstrieb:SUBSTITUTION-INITIATED, r=flip1995 #8132

Triggered via push July 7, 2023 19:12
Status Success
Total duration 2m 23s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

remark.yml

on: push
bors remark test finished
0s
bors remark test finished
bors remark test finished
0s
bors remark test finished
Fit to window
Zoom out
Zoom in