[DEVOPS] Update checkout action to v3

[R0Wi]

Update checkout action to v3 to remove warnings in Github actions

[codecov]

Codecov Report

Merging #155 (a914419) into master (44ba440) will not change coverage.
The diff coverage is n/a.

@@             Coverage Diff             @@
##              master      #155   +/-   ##
===========================================
  Coverage     100.00%   100.00%           
  Complexity       165       165           
===========================================
  Files             34        34           
  Lines            609       609           
  Branches           4         4           
===========================================
  Hits             609       609           

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

[sonarqubecloud]

Kudos, SonarCloud Quality Gate passed!   

0 Bugs
0 Vulnerabilities
0 Security Hotspots
0 Code Smells

No Coverage information
No Duplication information

[bahnwaerter]

The changes are looking good to me.

[R0Wi]

The backport to stable24 failed:

The process '/usr/bin/git' failed with exit code 1

To backport manually, run these commands in your terminal:

# Fetch latest updates from GitHub
git fetch
# Create a new working tree
git worktree add .worktrees/backport-stable24 stable24
# Navigate to the new working tree
cd .worktrees/backport-stable24
# Create a new branch
git switch --create backport-155-to-stable24
# Cherry-pick the merged commit of this pull request and resolve the conflicts
git cherry-pick ---mainline 1 8cf95ef8516c2916df3ff023da9df61c92f33ae2
# Push it to GitHub
git push --set-upstream origin backport-155-to-stable24
# Go back to the original working tree
cd ../..
# Delete the working tree
git worktree remove .worktrees/backport-stable24

Then, create a pull request where the base branch is stable24 and the compare/head branch is backport-155-to-stable24.