CI

README: Use repology badges for version #931

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build Linux	2m 12s
Build UEFI	1m 3s
Lints	1m 26s
build-freebsd	2m 12s
Test Suite	1m 13s
Generate docs	1m 21s
Build Windows	4m 58s
	14m 25s