CI

fix seal #901

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lints	30s
Build Linux	2m 19s
Generate docs	1m 35s
build-freebsd	2m 33s
Test Suite	1m 2s
Build Windows	4m 49s
Build UEFI	34s
	13m 22s