Time CI

Merge remote-tracking branch 'origin/master' into fix_opt_assign_expr #4

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test-nix (ubuntu-20.04)	52s
test-nix (macos-12)	2m 20s
test-windows	1m 17s
	4m 29s