build

Fix bug with box-box #2356. #2502

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-22.04-gcc-12	12m 57s
ubuntu-22.04-gcc-11	12m 16s
ubuntu-22.04-gcc-10	12m 48s
ubuntu-22.04-gcc-9	11m 30s
ubuntu-22.04-clang-14	13m 53s
ubuntu-22.04-clang-13	13m 40s
ubuntu-20.04-clang-12	13m 29s
ubuntu-20.04-clang-11	13m 48s
ubuntu-20.04-clang-10	13m 48s
macos-13	14m 36s
windows-2022	13m 53s
	2h 26m 38s