Re: [PATCH] CI: Update to actions/checkout@v5

[Willy Tarreau]

On Wed, Aug 13, 2025 at 07:13:31PM +0200, Tim Duesterhus wrote:
> No functional change, but we should keep this current.

OK, now merged, thanks Tim!
Willy