Builds, tests & co #974

Job	Run time
lint-opam	3m 42s
build-and-test (ubuntu-latest, 4.08, true)	2m 11s
build-and-test (ubuntu-latest, 4.08, false)	2m 38s
build-and-test (ubuntu-latest, 4.09, true)	2m 14s
build-and-test (ubuntu-latest, 4.09, false)	2m 5s
build-and-test (ubuntu-latest, 4.10, true)	3m 23s
build-and-test (ubuntu-latest, 4.10, false)	2m 56s
build-and-test (ubuntu-latest, 4.11, true)	3m 29s
build-and-test (ubuntu-latest, 4.11, false)	2m 6s
build-and-test (ubuntu-latest, 4.12, true)	3m 9s
build-and-test (ubuntu-latest, 4.12, false)	2m 10s
build-and-test (ubuntu-latest, 4.13, true)	2m 21s
build-and-test (ubuntu-latest, 4.13, false)	2m 3s
build-and-test (ubuntu-latest, 4.14, true)	3m 15s
build-and-test (ubuntu-latest, 4.14, false)	2m 5s
build-and-test (ubuntu-latest, 5.0, true)	2m 22s
build-and-test (ubuntu-latest, 5.0, false)	3m 19s
build-and-test (ubuntu-latest, 5.1, true)	2m 16s
build-and-test (ubuntu-latest, 5.1, false)	2m 49s
build-and-test (ubuntu-latest, 5.2, true)	3m 22s
build-and-test (ubuntu-latest, 5.2, false)	2m 41s
build-and-test (ubuntu-latest, 5.3, true)	2m 27s
build-and-test (ubuntu-latest, 5.3, false)	3m 16s
build-and-test (ubuntu-24.04-arm, 5.3, false)	1m 59s
build-and-test (macos-latest, 5.3, false)	2m 49s
build-and-test (windows-latest, 5.3, false)	7m 28s
	1h 14m 35s

Provide feedback