Config for Mac Sonoma 14.6.1 with Command Line Tools 15.3 #1531

Job	Run time
macos (macos-13, 3.11)	52m 35s
shell	8m 34s
macos (macos-14, 3.11)	39m 49s
ubuntu (ubuntu-latest, 3.10, clingo, false)	28m 47s
rhel8-platform-python	23m 43s
ubuntu (ubuntu-latest, 3.12, clingo, false)	14m 38s
ubuntu (3.10, ubuntu-latest, original, false)	15m 31s
clingo-cffi	18m 12s
ubuntu (3.6, ubuntu-20.04, clingo, false)	16m 16s
	3h 38m 5s

Provide feedback