Skip to content
Remark

Auto merge of #11829 - J-ZhengLi:issue11438, r=matthiaskrgr #9179

Sign in to view logs

Auto merge of #11829 - J-ZhengLi:issue11438, r=matthiaskrgr

Auto merge of #11829 - J-ZhengLi:issue11438, r=matthiaskrgr #9179

Triggered via push December 12, 2023 17:53
@borsbors
pushed 2e96c74
auto
Status Success
Total duration 1m 15s
Artifacts –

remark.yml

on: push
remark
1m 0s
remark
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