CI

EXAMPLES: Add more #516

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build Linux and UEFI	1m 37s
Cross-Build for FreeBSD	2m 9s
Test Suite	56s
Build Windows	5m 1s
Lints	47s
Generate docs	1m 5s
	11m 35s