Skip to content

Auto merge of #18146 - ChayimFriedman2:allow-comment, r=Veykril #17

Auto merge of #18146 - ChayimFriedman2:allow-comment, r=Veykril

Auto merge of #18146 - ChayimFriedman2:allow-comment, r=Veykril #17

Triggered via push September 19, 2024 19:21
Status Skipped
Total duration 4s
Artifacts

metrics.yaml

on: push
build_metrics
0s
build_metrics
Matrix: other_metrics
generate_final_metrics
0s
generate_final_metrics
Fit to window
Zoom out
Zoom in