Builds, tests & co #975

Job	Run time
lint-opam	2m 45s
build-and-test (ubuntu-latest, 4.08, true)	3m 14s
build-and-test (ubuntu-latest, 4.08, false)	1m 59s
build-and-test (ubuntu-latest, 4.09, true)	2m 17s
build-and-test (ubuntu-latest, 4.09, false)	1m 57s
build-and-test (ubuntu-latest, 4.10, true)	3m 32s
build-and-test (ubuntu-latest, 4.10, false)	2m 14s
build-and-test (ubuntu-latest, 4.11, true)	2m 18s
build-and-test (ubuntu-latest, 4.11, false)	1m 59s
build-and-test (ubuntu-latest, 4.12, true)	2m 14s
build-and-test (ubuntu-latest, 4.12, false)	2m 25s
build-and-test (ubuntu-latest, 4.13, true)	2m 19s
build-and-test (ubuntu-latest, 4.13, false)	3m 30s
build-and-test (ubuntu-latest, 4.14, true)	4m 8s
build-and-test (ubuntu-latest, 4.14, false)	3m 27s
build-and-test (ubuntu-latest, 5.0, true)	3m 1s
build-and-test (ubuntu-latest, 5.0, false)	2m 12s
build-and-test (ubuntu-latest, 5.1, true)	2m 11s
build-and-test (ubuntu-latest, 5.1, false)	3m 21s
build-and-test (ubuntu-latest, 5.2, true)	2m 23s
build-and-test (ubuntu-latest, 5.2, false)	2m 5s
build-and-test (ubuntu-latest, 5.3, true)	3m 1s
build-and-test (ubuntu-latest, 5.3, false)	3m 18s
build-and-test (ubuntu-24.04-arm, 5.3, false)	2m 11s
build-and-test (macos-latest, 5.3, false)	2m 59s
build-and-test (windows-latest, 5.3, false)	14m 7s
	1h 21m 7s

Provide feedback