metrics

Auto merge of #18067 - Veykril:prevent-mir-building, r=Veykril #10

Sign in to view logs

Triggered via push September 8, 2024 19:10

ChayimFriedman2

master

Status Skipped

Total duration 4s

Artifacts –

metrics.yaml

on: push

Matrix: other_metrics

generate_final_metrics