Re: [PATCH] ci: upgrade to using macos-13
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Nov 3, 2023, 08:16 UTC
- Message-ID
- <xmqqo7gbjlpu.fsf@gitster.g>
- In-Reply-To
- <pull.1607.git.1698996455218.gitgitgadget@gmail.com>
"Johannes Schindelin via GitGitGadget" <gitgitgadget@gmail.com> writes:
Show 9 quoted lines
> From: Johannes Schindelin <johannes.schindelin@gmx.de> > > In April, GitHub announced that the `macos-13` pool is available: > https://github.blog/changelog/2023-04-24-github-actions-macos-13-is-now-available/. > It is only a matter of time until the `macos-12` pool is going away, > therefore we should switch now, without pressure of a looming deadline. > ... > To reinstate the spirit of that commit _and_ to fix that build failure, > let's switch to the now-newest GCC version: v13.x.
Thank you very much for a well reasoned patch that is very timely. I am tempted to fast-track this one down from 'seen' to 'maint' before we tag -rc1.
Will queue.