Chris Packham b1433efd80 CI: pin macos runners to macos-12 ... macos-latest has recently (as of April 2024) started transitioning to macos-14 (previously it was macos-12). This seems to be missing things we rely on (e.g. makeinfo) and even when those are added throws other errors. For now lets pin things to macos-12 until someone can spend some time looking at why we can't use macos-14. Signed-off-by: Chris Packham <judge.packham@gmail.com>		2024-05-14 08:58:31 +12:00
..
workflows	CI: pin macos runners to macos-12	2024-05-14 08:58:31 +12:00