The checkout and upload-artifact actions v3 we use in our CI are
deprecated; refresh them to v4.

Signed-off-by: Vincent Stehlé <vincent.stehle@arm.com>