CI (Coq, MacOS) #4707

Job	Run time
macOS 12 (x86_64)	3h 5m 44s
macOS 14 (arm64)	1h 40m 26s
combine-standalone	13s
publish-standalone	15s
publish-standalone (-x86_64)	14s
publish-standalone (-arm64)	18s
test-standalone (macos-12)	15s
test-standalone (macos-13)	14s
test-standalone (macos-14)	10s
test-standalone (macos-latest)	9s
test-standalone (-x86_64, macos-12)	15s
test-standalone (-x86_64, macos-13)	15s
test-standalone (-x86_64, macos-14)	14s
test-standalone (-x86_64, macos-latest)	13s
test-standalone (-arm64, macos-14)	10s
test-standalone (-arm64, macos-latest)	10s
macos-check-all	1s
	4h 49m 16s

Provide feedback