CI

🤖 Merge PR #72574 [dxf] Fixes capitalization and types by @Bashamega #9696

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
scripts	0s
dangerbot	0s
setup-matrix	0s
test	0s
	0s