GitHub CI

Merge pull request #2609 from cjdcordeiro/patch-4 #6951

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
markdownfmt	6s
ymlfmt	14s
required-files	7s
short	7s
metadata	4s
no-readme	0s
	38s