Back to pull request #3441

Make `BOOL` a core type #660

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check (1.74.0, windows-2022)	37s
check (1.74.0, ubuntu-22.04)	21s
check (stable, windows-2022)	46s
check (stable, ubuntu-22.04)	20s
check (nightly, windows-2022)	34s
check (nightly, ubuntu-22.04)	19s
	2m 57s