Update actions/checkout action to v4

[renovate[bot]]

This PR contains the following updates:

Package	Type	Update	Change
actions/checkout	action	major	v3 -> v4

---

Release Notes

actions/checkout (actions/checkout)

### [`v4`](https://togithub.com/actions/checkout/blob/HEAD/CHANGELOG.md#v400) [Compare Source](https://togithub.com/actions/checkout/compare/v3...v4) - [Support fetching without the --progress option](https://togithub.com/actions/checkout/pull/1067) - [Update to node20](https://togithub.com/actions/checkout/pull/1436)

---

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• [ ] If you want to rebase/retry this PR, check this box

---

This PR has been generated by Mend Renovate. View repository job log here.

[zoeself]

@renovate[bot] thank you for your Pull Request. I'll assign someone to review it soon.

If this PR solves a todo from the code, please don't forget to remove it.

[codecov[bot]]

Codecov Report

Patch has no changes to coverable lines.

:loudspeaker: Thoughts on this report? Let us know!.

[zoeself]

@h1alexbel please review this Pull Request. Deadline (when it should be merged or closed) is 2023-09-07T15:09:05.859762.

You should check if the requirements have been implemented (partially or in full), if there are unit tests covering the changes and if the CI build passes. Feel free to reject the PR or ask for changes if it's too big or not clear enough.

Estimation here is 30 minutes, that's how much you will be paid. You will be paid even if this PR gets rejected.

[zoeself]

@h1alexbel Don't forget to close this ticket before the deadline (2023-09-07T15:09:06). You are past the first half of the allowed period.

[zoeself]

@h1alexbel Looks like you've missed the task deadline (2023-09-07T15:09:06). You are now resigned from this task.

Please stop working on it, you will not be paid. I will assign it to someone else soon.

[zoeself]

@l3r8yJ please review this Pull Request. Deadline (when it should be merged or closed) is 2023-09-10T15:29:17.448812.

You should check if the requirements have been implemented (partially or in full), if there are unit tests covering the changes and if the CI build passes. Feel free to reject the PR or ask for changes if it's too big or not clear enough.

Estimation here is 30 minutes, that's how much you will be paid. You will be paid even if this PR gets rejected.

[zoeself]

@l3r8yJ Don't forget to close this ticket before the deadline (2023-09-10T15:29:17). You are past the first half of the allowed period.

[h1alexbel]

@rultor merge

[rultor]

@rultor merge

@h1alexbel OK, I'll try to merge now. You can check the progress of the merge here

[rultor]

@rultor merge

@h1alexbel Done! FYI, the full log is here (took me 2min)

[zoeself]

@l3r8yJ thank you for resolving this ticket. I've just added it to your active invoice. You can always check all your invoices and more on the Contributor Dashboard.