[web-php] PR #852: Enhancement: Update `actions/checkout`
| From: | localheinz | 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.