Update MacOS version for GitHub runners.#684

tturocy merged 1 commit into

maint16_4gambitproject/gambit:maint16_4from

org_github_runnersgambitproject/gambit:org_github_runnersCopy head branch name to clipboard