Merge pull request #567 from MatthewFluet/useless-issue-559 #172

Job	Run time
build-test (ubuntu-latest, gcc, amd64)	19m 43s
build-test (ubuntu-latest, gcc, c)	25m 0s
build-test (ubuntu-latest, clang, amd64)	21m 5s
build-test (ubuntu-latest, clang, c)	28m 52s
build-test (ubuntu-latest, clang, llvm)	31m 17s
build-test (macos-13, clang, amd64)	42m 57s
build-test (macos-13, clang, c)	47m 54s
build-test (macos-13, clang, llvm)	52m 12s
build-test (macos-14, clang, c)	24m 34s
build-test (macos-14, clang, llvm)	25m 2s
build-test (windows-latest, gcc, amd64)	41m 34s
build-test (windows-latest, gcc, c)	47m 57s
	6h 48m 7s

Provide feedback