Skip to content

Auto merge of #12777 - hi-rustin:rustin-patch-short-config-flag, r=we… #960

Auto merge of #12777 - hi-rustin:rustin-patch-short-config-flag, r=we…

Auto merge of #12777 - hi-rustin:rustin-patch-short-config-flag, r=we… #960

Triggered via push October 6, 2023 13:08
Status Success
Total duration 56s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

audit.yml

on: push
Matrix: cargo_deny
Fit to window
Zoom out
Zoom in