CI

Hardcode laptop 12 #1135

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lints	31s
Generate docs	1m 20s
Build Linux and UEFI	2m 9s
Build Windows	3m 57s
Test Suite	58s
Cross-Build for FreeBSD	0s
	8m 55s