[web-php] PR #852: Enhancement: Update `actions/checkout`

From: Date: Tue, 05 Dec 2023 15:43:42 +0000
Subject: [web-php] PR #852: Enhancement: Update `actions/checkout`
Groups: php.webmaster 
Request: Send a blank email to php-webmaster+get-31153@lists.php.net to get a copy of this message
Pull Request: https://github.com/php/web-php/pull/852 Author: localheinz This pull request - [x] updates actions/checkout 💁‍♂️ For reference, see https://github.com/actions/checkout/compare/v3...v4.

« previous php.webmaster (#31153) next »