Refresh github actions
The checkout and upload-artifact actions v3 we use in our github CI are
deprecated; refresh them to v4.
Signed-off-by: 
Vincent Stehlé <vincent.stehle@arm.com>
parent
f2480c05
Loading
Loading
Pipeline
#7926
passed
with stage
in
2 minutes and 42 seconds
Loading