Closed craigds closed 2 weeks ago
Github Actions will remove the MacOS 12 runner by Dec 3. By then we should be using the MacOS 13 runner
In fact this build already failed - specifically on MacOS 12, so this is presumably something to do sooner rather than later
fixed in c68a29ce9244c6985ef2f47f6270cd28837ba5b3
Github Actions will remove the MacOS 12 runner by Dec 3. By then we should be using the MacOS 13 runner
In fact this build already failed - specifically on MacOS 12, so this is presumably something to do sooner rather than later