Builds, tests & co #977

Job	Run time
lint-opam	3m 35s
build-and-test (ubuntu-latest, 4.08, true)	2m 4s
build-and-test (ubuntu-latest, 4.08, false)	1m 56s
build-and-test (ubuntu-latest, 4.09, true)	2m 47s
build-and-test (ubuntu-latest, 4.09, false)	2m 1s
build-and-test (ubuntu-latest, 4.10, true)	2m 59s
build-and-test (ubuntu-latest, 4.10, false)	2m 9s
build-and-test (ubuntu-latest, 4.11, true)	2m 50s
build-and-test (ubuntu-latest, 4.11, false)	2m 6s
build-and-test (ubuntu-latest, 4.12, true)	2m 9s
build-and-test (ubuntu-latest, 4.12, false)	2m 10s
build-and-test (ubuntu-latest, 4.13, true)	2m 22s
build-and-test (ubuntu-latest, 4.13, false)	2m 2s
build-and-test (ubuntu-latest, 4.14, true)	2m 50s
build-and-test (ubuntu-latest, 4.14, false)	5m 25s
build-and-test (ubuntu-latest, 5.0, true)	2m 3s
build-and-test (ubuntu-latest, 5.0, false)	2m 2s
build-and-test (ubuntu-latest, 5.1, true)	2m 14s
build-and-test (ubuntu-latest, 5.1, false)	1m 58s
build-and-test (ubuntu-latest, 5.2, true)	2m 6s
build-and-test (ubuntu-latest, 5.2, false)	1m 57s
build-and-test (ubuntu-latest, 5.3, true)	3m 1s
build-and-test (ubuntu-latest, 5.3, false)	2m 8s
build-and-test (ubuntu-24.04-arm, 5.3, false)	3m 11s
build-and-test (macos-latest, 5.3, false)	3m 8s
build-and-test (windows-latest, 5.3, false)	5m 42s
	1h 8m 55s

Provide feedback