CI

Add more instances, mostly `Read` and `Ord` #70

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.6.1, macos-13)	10m 36s
build (8.6.1, macos-13)	10m 36s
build (8.6.1, ubuntu-22.04)	7m 26s
build (8.6.1, ubuntu-22.04)	7m 26s
build (8.6.1, windows-2022)	10m 30s
build (8.6.1, windows-2022)	10m 30s
build (8.8.1, macos-13)	10m 11s
build (8.8.1, macos-13)	10m 11s
build (8.8.1, ubuntu-22.04)	5m 48s
build (8.8.1, ubuntu-22.04)	5m 48s
build (8.8.1, windows-2022)	11m 36s
build (8.8.1, windows-2022)	11m 36s
build (8.10.1, macos-13)	9m 0s
build (8.10.1, macos-13)	9m 0s
build (8.10.1, ubuntu-22.04)	5m 46s
build (8.10.1, ubuntu-22.04)	5m 46s
build (8.10.1, windows-2022)	11m 12s
build (8.10.1, windows-2022)	11m 48s
build (9.0.1, macos-13)	9m 45s
build (9.0.1, macos-13)	9m 45s
build (9.0.1, ubuntu-22.04)	6m 19s
build (9.0.1, ubuntu-22.04)	6m 19s
build (9.0.1, windows-2022)	9m 17s
build (9.0.1, windows-2022)	9m 17s
build (9.2.1, macos-13)	9m 8s
build (9.2.1, macos-13)	9m 8s
build (9.2.1, ubuntu-22.04)	5m 59s
build (9.2.1, ubuntu-22.04)	5m 59s
build (9.2.1, windows-2022)	9m 25s
build (9.2.1, windows-2022)	9m 25s
build (9.4.1, macos-13)	10m 6s
build (9.4.1, macos-13)	10m 6s
build (9.4.1, ubuntu-22.04)	6m 34s
build (9.4.1, ubuntu-22.04)	6m 34s
build (9.4.1, windows-2022)	7m 57s
build (9.4.1, windows-2022)	7m 57s
build (9.6.1, macos-13)	10m 46s
build (9.6.1, macos-13)	10m 46s
build (9.6.1, ubuntu-22.04)	6m 50s
build (9.6.1, ubuntu-22.04)	6m 50s
build (9.6.1, windows-2022)	7m 30s
build (9.6.1, windows-2022)	7m 30s
	6h 3m 58s