GitHub CI

MariaDB update KB links and a few other minor changes #8224

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
markdownfmt	16s
ymlfmt	47s
no-readme	8s
short	6s
metadata	7s
required-files	6s
	1m 30s