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

Job	Run time
macos (macos-13, 3.11)	52m 44s
shell	8m 29s
macos (macos-14, 3.11)	40m 24s
clingo-cffi	17m 41s
rhel8-platform-python	23m 46s
ubuntu (ubuntu-latest, 3.10, clingo, false)	27m 53s
ubuntu (ubuntu-latest, 3.12, clingo, false)	14m 38s
ubuntu (3.10, ubuntu-latest, original, false)	16m 17s
ubuntu (3.6, ubuntu-20.04, clingo, false)	16m 30s
	3h 38m 22s

Provide feedback