🛠️ Bump actions/checkout from 3 to 4 (backport #2339)

[mergify]

This is an automatic backport of pull request #2339 done by Mergify.
Cherry-pick of 84421ea has failed:

On branch mergify/bp/humble/pr-2339
Your branch is up to date with 'origin/humble'.

You are currently cherry-picking commit 84421eaeb.
  (fix conflicts and run "git cherry-pick --continue")
  (use "git cherry-pick --skip" to skip this patch)
  (use "git cherry-pick --abort" to cancel the cherry-pick operation)

Changes to be committed:
	modified:   .github/workflows/ci.yaml
	modified:   .github/workflows/docker.yaml
	modified:   .github/workflows/format.yaml
	modified:   .github/workflows/prerelease.yaml

Unmerged paths:
  (use "git add/rm <file>..." as appropriate to mark resolution)
	both modified:   .github/workflows/docker_lint.yaml
	deleted by us:   .github/workflows/sonar.yaml

To fix up this pull request, you can check it out locally. See documentation: https://docs.github.com/en/github/collaborating-with-pull-requests/reviewing-changes-in-pull-requests/checking-out-pull-requests-locally

---

Mergify commands and options

More conditions and actions can be found in the documentation.

You can also trigger Mergify actions by commenting on this pull request:

• @Mergifyio refresh will re-evaluate the rules
• @Mergifyio rebase will rebase this PR on its base branch
• @Mergifyio update will merge the base branch into this PR
• @Mergifyio backport <destination> will backport this PR on <destination> branch

Additionally, on Mergify dashboard you can:

• look at your merge queues
• generate the Mergify configuration with the config editor.

Finally, you can contact us on https://mergify.com

[codecov]

Codecov Report

Patch coverage has no change and project coverage change: +0.01% 🎉

Comparison is base (b9ef75d) 50.94% compared to head (2b62dda) 50.95%.

Additional details and impacted files

@@            Coverage Diff             @@
##           humble    #2341      +/-   ##
==========================================
+ Coverage   50.94%   50.95%   +0.01%     
==========================================
  Files         382      382              
  Lines       31889    31889              
==========================================
+ Hits        16243    16246       +3     
+ Misses      15646    15643       -3     

see 2 files with indirect coverage changes

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.