CI

Replace devenv with nix flake #949

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build UEFI	1m 19s
Build Windows	5m 13s
Build Linux	2m 20s
Test Suite	1m 8s
build-freebsd	3m 27s
Generate docs	1m 24s
Lints	1m 21s
	16m 12s