github-actions: update to actions/checkout@v4
This should fix a warning from the GitHub infrastructure about
Node.js 16 being deprecated
Description
Description
Details
Details
- Provenance
ellie timoney Authored on Jun 7 2024, 12:11 AM mollekopf Pushed on Aug 9 2024, 8:36 AM - Parents
- R111:0fc6a77313bd: github actions: always update Mail::IMAPTalk
- Branches
- Unknown
- Tags