GitHub CI

Merge pull request #2395 from rnestler/patch-1 #4805

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ymlfmt	19s
required-files	2s
short	5s
markdownfmt	13s
no-readme	0s
	39s