[Github Actions] actions/checkout@v3 should be upgraded to v4

[demeringo]

Problem

Github deprecates checkout/v3 action (it relies on Node 16). We should upgrade our ci scripts to use checkout v4. https://github.com/actions/checkout

Solution

Alternatives

Additional context or elements