The macOS 12 GitHub runner is getting deprecated

[edgar-bonet]

The workflow linux_and_macos.yml performs three builds on macOS 12. GitHub announced today that the macOS12 runner image is being deprecated:

We are beginning the deprecation process for the macOS 12 runner image, which allows us to balance our fleet capacity ahead of our upcoming macOS 15 launch. This image will be fully retired by the December 3rd, 2024. We recommend updating workflows to use macos-14, macos-13, or macos-latest.

[hartwork]

@edgar-bonet I guess we can (a) migrate to macos-13 now or (b) in December? How do you feel about it?

[edgar-bonet]

@hartwork: I don't really care. I think both options are just fine.

[hartwork]

@edgar-bonet I just tried macos-13 and macos-14 with GCC 12, 13, 14 and all I get is ld: library not found for -lasan or ld: library 'asan' not found. So I guess I'll vote for giving GitHub Actions time to fix their images with regard to AddressSanitizer until December.