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

[Willy Tarreau]

Hi Tim!

On Wed, Sep 06, 2023 at 04:57:29PM +0200, Tim Duesterhus wrote:
> No functional change, but we should keep this current.

Now merged, thank you!
Willy