ci: update github workflow
Update the github workflow yaml file to better match what is done on
gitlab.
Signed-off-by: 
Vincent Stehlé <vincent.stehle@arm.com>
Update the github workflow yaml file to better match what is done on
gitlab.
Signed-off-by: Vincent Stehlé <vincent.stehle@arm.com>