Builds, tests & co #972

Job	Run time
lint-opam	2m 45s
build-and-test (ubuntu-latest, 4.08, true)	2m 11s
build-and-test (ubuntu-latest, 4.08, false)	3m 2s
build-and-test (ubuntu-latest, 4.09, true)	2m 26s
build-and-test (ubuntu-latest, 4.09, false)	3m 6s
build-and-test (ubuntu-latest, 4.10, true)	3m 6s
build-and-test (ubuntu-latest, 4.10, false)	2m 4s
build-and-test (ubuntu-latest, 4.11, true)	3m 5s
build-and-test (ubuntu-latest, 4.11, false)	2m 10s
build-and-test (ubuntu-latest, 4.12, true)	2m 16s
build-and-test (ubuntu-latest, 4.12, false)	2m 9s
build-and-test (ubuntu-latest, 4.13, true)	2m 18s
build-and-test (ubuntu-latest, 4.13, false)	5m 8s
build-and-test (ubuntu-latest, 4.14, true)	3m 27s
build-and-test (ubuntu-latest, 4.14, false)	2m 4s
build-and-test (ubuntu-latest, 5.0, true)	2m 11s
build-and-test (ubuntu-latest, 5.0, false)	2m 6s
build-and-test (ubuntu-latest, 5.1, true)	2m 16s
build-and-test (ubuntu-latest, 5.1, false)	2m 17s
build-and-test (ubuntu-latest, 5.2, true)	2m 24s
build-and-test (ubuntu-latest, 5.2, false)	3m 0s
build-and-test (ubuntu-latest, 5.3, true)	2m 25s
build-and-test (ubuntu-latest, 5.3, false)	2m 25s
build-and-test (ubuntu-24.04-arm, 5.3, false)	2m 2s
build-and-test (macos-latest, 5.3, false)	3m 37s
build-and-test (windows-latest, 5.3, false)	6m 7s
	1h 12m 7s

Provide feedback