GitHub CI

Merge pull request #2516 from ghorbani-ali/master #6002

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
markdownfmt	8s
metadata	11s
no-readme	0s
required-files	5s
short	5s
ymlfmt	15s
	44s