Skip to content

Auto merge of #12950 - epage:msrv, r=Eh2406 #1747

Auto merge of #12950 - epage:msrv, r=Eh2406

Auto merge of #12950 - epage:msrv, r=Eh2406 #1747

Triggered via push November 14, 2023 22:25
Status Success
Total duration 18s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

contrib.yml

on: push
Fit to window
Zoom out
Zoom in